You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This mostly works, but there are still a few manual cleanup steps that could be automated:
When manifold-tools opens the PR against ManifoldScholar/Manifold as part of publishing, the PR is against master instead of against the branch that's being built.
When manifold-tools tags the ManifoldScholar/Manifold repo, it checks out master first and tags master. The tag should be on the HEAD of the branch specified by --branch
When manifold-tools generates the changelog, it includes all closed PRs to date, not just the ones that appear in the branch that's being built and published.
The text was updated successfully, but these errors were encountered:
Currently, if we want to build a patch release, we do this:
This mostly works, but there are still a few manual cleanup steps that could be automated:
The text was updated successfully, but these errors were encountered: