Skip to content

Conversation

@antonyantony
Copy link
Collaborator

Hi,
This would help a casual reader to read Editor's copy on Github via web. Editor's copy might be, from time to time, ahead of datattracker version. I have seen this feature in Markdwown.

Anything against it?

Or any changes to README.org?

- Introduce .github/workflows/generate.yaml to generate .html, .txt,
  and .xml files from eesp.org for the github repository
- Copies generated files to the gh-pages branch for GitHub Pages.
- Automatically triggers on commits to the main, and only main, branch
  to regenerate the Editor's copy.
@klassert klassert merged commit 7c1f6e3 into main Dec 12, 2024
1 check failed
@antonyantony antonyantony deleted the antony/edit-4-github-workflow-gh-pages branch February 26, 2025 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants