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
GitHub has a Releases feature. It would be nice to have creation of these releases automated by this tool and potentially filled with a changelog scraped from the archive using a forthcoming changelog library.
The text was updated successfully, but these errors were encountered:
which (to sum up) automatically generates a Release PR with a ConventionalCommits-based Changelog, then upon merge of this PR, create a release with assets and run opam-publish (using a GH Personal Access Token).
GitHub has a Releases feature. It would be nice to have creation of these releases automated by this tool and potentially filled with a changelog scraped from the archive using a forthcoming changelog library.
The text was updated successfully, but these errors were encountered: