From 0cd9ea411391c9049f4fbcd5d9164ba11b73fe56 Mon Sep 17 00:00:00 2001 From: Yoni Rabkin Date: Mon, 17 Apr 2017 10:02:59 -0400 Subject: * doc/developer-release.txt: correct text This would avoid a previous tag being pushed and clobbering HEAD. --- doc/developer-release.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/developer-release.txt b/doc/developer-release.txt index 1d38bae..2a998b9 100644 --- a/doc/developer-release.txt +++ b/doc/developer-release.txt @@ -7,7 +7,7 @@ release. * Tag release in VCS, for example `git tag -a 4.2 -m "4.2"' -* Push tag to VCS if needed, for example `git push --tags origin master' +* Push tag to VCS if needed, for example `git push --tags origin "4.2"' * Run make release -- cgit v1.2.3