You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, release notes are in GitHub's releases page only. This is probably OK, but it would be good to put them into git. This would make writing release notes collaborative and incremental, add a layer of review, and duplicate them outside a proprietary tool.
To do this we'd need:
copy existing release notes into a RELEASE_NOTES.md or similar
docs for how to write and update the notes
change the release notes script to update the file and use it as a source for adding a new release to GitHub
The text was updated successfully, but these errors were encountered:
ddbeck
added
the
docs
Issues or pull requests regarding the documentation of this project.
label
Sep 23, 2020
Right now, release notes are in GitHub's releases page only. This is probably OK, but it would be good to put them into git. This would make writing release notes collaborative and incremental, add a layer of review, and duplicate them outside a proprietary tool.
To do this we'd need:
RELEASE_NOTES.md
or similarThe text was updated successfully, but these errors were encountered: