developer-manual: Add pushing the created tag to the release steps
authorFabian Keil <fk@fabiankeil.de>
Thu, 28 Jan 2021 10:58:07 +0000 (11:58 +0100)
committerFabian Keil <fk@fabiankeil.de>
Wed, 3 Feb 2021 10:56:50 +0000 (11:56 +0100)
commit7a33a95a133511535d371910b22b43c638ee94a9
tree9ca72708fc780920e40afd503b311293835f3636
parent21d1a446f5c67adceab5a378a9703be131c0b23b
developer-manual: Add pushing the created tag to the release steps
doc/source/developer-manual.sgml