To make release tags the make-tag.py script from the maintainer tools should be used. This ensures that all the various occurrences of the version in different files match the tagged version before proceeding. And move it into a separate section with the other per-release actions.
Also replace other "ping wumpus" references.
We need to replace the "(or ping wumpus on IRC, he has specific tooling to generate the list of merged pulls" as well. This concerns the list-pulls.py script which is already in the maintainer tools, and is documented here: https://github.com/bitcoin-core/bitcoin-maintainer-tools#list-pulls
(though even with that it's a lot of work to make the PR list for a major release, it just lightens the work a bit by doing pre-sorting)
Edit: updated this as well.
To make release tags the `make-tag.py` script from the maintainer tools
should be used. This ensures that all the various occurences of the
version in different files match the tagged version before proceeding.
Also replace other "ping wumpus" references.
ACK cc30dfbd4bab5fe4acc82dca9f6979e5a3a41e32