This repository has been archived by the owner on Apr 19, 2024. It is now read-only.
Chore: Use PR to merge release tag #21
Labels
blocked
Cannot be implemeneted unless something else is fixed
This may require some plumbing in the Github Action workflows. Currently release is done directly by tagging
main
branch and change log is populated in tag annotation. They should be in a separate CHANGELOG.md file.The text was updated successfully, but these errors were encountered: