diff options
| author | Mattias Andrée <maandree@operamail.com> | 2013-09-03 19:50:20 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2013-09-03 19:50:20 +0200 |
| commit | 8c90e792aad392c859c0d376858575260030bb81 (patch) | |
| tree | 5fe64a5df8d06bd6f19832467be4bd19731e5cd9 | |
| parent | forgot the remote (diff) | |
| download | using-git-8c90e792aad392c859c0d376858575260030bb81.tar.gz using-git-8c90e792aad392c859c0d376858575260030bb81.tar.bz2 using-git-8c90e792aad392c859c0d376858575260030bb81.tar.xz | |
explination of remote tag removal syntax
Signed-off-by: Mattias Andrée <maandree@operamail.com>
| -rw-r--r-- | using-git.texinfo | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/using-git.texinfo b/using-git.texinfo index 8fe56aa..b706a70 100644 --- a/using-git.texinfo +++ b/using-git.texinfo @@ -1166,6 +1166,18 @@ git tag -d 'RELEASE_VERSION' git push origin :refs/tags/'RELEASE_VERSION' @end example +@file{refs/tags/RELEASE_VERSION} is a +file in the @file{.git} directory. +Using a @code{:} tells git that you +want to push the local file before the +@code{:} to the remote file after the +@code{:}. If the local file is not +specified, in order words, the argument +begins with @code{:}, you are telling +git to remove the remote file. +This only work with referense, that is, +files inside @file{.git/refs}. + @node Cherry picking |