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

document the release process #803

Merged

prjemian merged 1 commit into main from 802-release-process

Feb 16, 2023

Contributor

prjemian commented Feb 16, 2023

close 1.6.12 docs identified as dev #802


          DOC #802

e73910a

prjemian added the documentation label

prjemian added this to the 1.6.13 milestone

prjemian self-assigned this

prjemian merged commit 22ca773 into main

prjemian deleted the 802-release-process branch

February 16, 2023 07:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels