Skip to content

Minor edits to RELEASE_GUIDE.md#4131

Merged
JordanMartinez merged 3 commits intopurescript:masterfrom
JordanMartinez:fixReleaeGuide
Jul 13, 2021
Merged

Minor edits to RELEASE_GUIDE.md#4131
JordanMartinez merged 3 commits intopurescript:masterfrom
JordanMartinez:fixReleaeGuide

Conversation

@JordanMartinez
Copy link
Copy Markdown
Contributor

@JordanMartinez JordanMartinez commented Jul 2, 2021

Description of the change

The guide never reminds us to submit and merge the PR bumping the versions and editing the CHANGELOG.md file before triggering the CI build. I also thought I'd directly link to the PVP specification while I was at it.

This can wait until after v0.14.3 gets released.


Checklist:

  • Added a file in the CHANGELOG.d

@rhendric
Copy link
Copy Markdown
Member

Some of this is superseded by #4132.

@JordanMartinez
Copy link
Copy Markdown
Contributor Author

I've updated this to account for #4132

@JordanMartinez JordanMartinez merged commit 2167616 into purescript:master Jul 13, 2021
@JordanMartinez JordanMartinez deleted the fixReleaeGuide branch July 13, 2021 04:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants