Skip to content

Make sure to make GitHub releases #2710

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

Merged
jakkdl merged 2 commits into from
Jul 20, 2023
Merged

Make sure to make GitHub releases #2710

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
3075020
Make sure to make GitHub releases
A5rocks Jul 18, 2023
6064062
I'm way too used to markdown :(
A5rocks Jul 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion docs/source/releasing.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ Things to do for releasing:

- review history change

- ``git rm`` changes
- ``git rm`` the now outdated newfragments

+ commit

Expand All @@ -53,4 +53,10 @@ Things to do for releasing:

* merge the release pull request

* make a GitHub release (go to the tag and press "Create release from tag")

+ paste in the new content in ``history.rst`` and convert it to markdown: turn the parts under section into ``---``, update links to just be the links, and whatever else is necessary.

+ include anything else that might be pertinent, like a link to the commits between the latest and current release.

* announce on gitter