diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-09-05 09:08:48 -0700 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-05 18:15:20 +0100 |
commit | 612beece6df32e68c70d04284280601f7a7825ca (patch) | |
tree | b63127bda4ed2b2255687c139a0395607dc19d44 /dgit-nmu-simple.7.pod | |
parent | c274564cf3847ca3039dc80548097569bba193c6 (diff) |
dgit-maint-{merge,debrebase}(7): Use git fetch --all --tags
`git remote update` doesn't fetch tags unless remote branches include
the commits at which those tags point. Thus, if upstream pushes their
release tag but fails to push their master branch, `git remote update`
will not fetch the release tag.
I've been in this situation more than once when following the
workflows detailed in these manpages, so let's just recommend a
command which will definitely try to fetch the latest release tag.
Closes: #939504
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Acked-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-nmu-simple.7.pod')
0 files changed, 0 insertions, 0 deletions