Closed MartinMohrmann closed 1 year ago
This is moving the release instructions to the contribution guide. This is a better place for them, and we don't need the extra-repo that currently lives separately at https://github.com/GliderToolsCommunity/ReleaseInstructions.
This is moving the release instructions to the contribution guide. This is a better place for them, and we don't need the extra-repo that currently lives separately at https://github.com/GliderToolsCommunity/ReleaseInstructions.