From a45e809228eb7cb1b32847136dc70d7c7a5b8bde Mon Sep 17 00:00:00 2001 From: Michael Hoennig Date: Tue, 7 May 2019 11:04:41 +0200 Subject: [PATCH] updated moving HOWTO-tag documentation in README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index e53f7f86..596193c8 100644 --- a/README.md +++ b/README.md @@ -113,8 +113,9 @@ To create and push a new tag use: git tag HOWTO-... master git push origin HOWTO-... -After you've moved an existing the tag to another commit, you can use: +To moved an existing the tag to another commit (here current master again), do this: + git tag --force HOWTO-... master git push --force origin HOWTO-... ## Special Build Tasks