Skip to content
New issue

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

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

Already on GitHub? # to your account

Update RELEASE_PROCEDURE #355

Merged
merged 8 commits into from
Oct 31, 2022
Merged

Update RELEASE_PROCEDURE #355

merged 8 commits into from
Oct 31, 2022

Conversation

chrwm
Copy link
Member

@chrwm chrwm commented Oct 26, 2022

Closes #331

The PR updates the release procedure.

@chrwm chrwm added the 📖 documentation Improvements or additions to documentation label Oct 26, 2022
@chrwm chrwm self-assigned this Oct 26, 2022
@Ludee Ludee linked an issue Oct 31, 2022 that may be closed by this pull request
@Ludee Ludee changed the title Update release procedure Update RELEASE_PROCEDURE Oct 31, 2022
@Ludee Ludee merged commit 0fc06be into develop Oct 31, 2022
@Ludee Ludee deleted the feature-331-release-procedure branch October 31, 2022 22:23
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
📖 documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document the workflow in RELEASE_PROCEDURE.md
3 participants