Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Workflow for fixing already merged trees #96

Open
nschneid opened this issue Dec 27, 2024 · 2 comments
Open

Workflow for fixing already merged trees #96

nschneid opened this issue Dec 27, 2024 · 2 comments

Comments

@nschneid
Copy link
Contributor

I just fixed a few of the validator-flagged issues, updating .cgel files for usc-016 usc-036 usc-040. What is the recommended way for regenerating .tex/.pdf files? And should I note the revision in the tree_by field?
@nschneid
Copy link
Contributor Author

nschneid commented Dec 27, 2024 •
edited
Loading

On reflection maybe I should have done these all as new PRs. ca36d9f is the most recent of the new changes. Let me revert those and try PRs instead.

@nschneid
Copy link
Contributor Author

OK done creating those (#97, #98, #99). @bwaldon lmk if there is anything else we should be doing specifically for fixes of merged trees.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nschneid