diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2021-02-01 14:26:57 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2021-02-01 14:27:09 +0100 |
| commit | 56fcf93349c3137af95e08c1b37a8726e7e01cb6 (patch) | |
| tree | ca5664b8fc76ed493de10097714e853fe303ecd9 /src | |
| parent | d0d256536cdfb1443067fb7cc0a19d647f636a5c (diff) | |
| parent | cc30dfbd4bab5fe4acc82dca9f6979e5a3a41e32 (diff) | |
Merge #21026: doc: Document use of make-tag script to make tags
cc30dfbd4bab5fe4acc82dca9f6979e5a3a41e32 doc: Document use of make-tag script to make tags (Wladimir J. van der Laan)
Pull request description:
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.
ACKs for top commit:
jonatack:
ACK cc30dfbd4bab5fe4acc82dca9f6979e5a3a41e32
Tree-SHA512: c09748a0bea85573b3f04fdb86430a53b683ff4d956edc1f49d471e2e526715cbde7cf6ad83a43a1a3fca4ff3c5af011e3d1b8cb61f5d8e065cfa71ba0138c88
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions