Package: git-debpush Version: 13.11 Severity: wishlist Hello,
Currently I have a script which finalises changelogs and then does
dgit push-source "$@"
git push --follow-tags --no-verify
I want to replace this with just 'git debpush'.
I think losing the --no-verify is right; there is no need for
git-debpush to ignore Git hooks just because it has made a tag (by
contrast, in the 'dgit push-source' case, the upload is already
finalised so I definitely want to push it no matter the hooks).
But the --follow-tags seems useful. For example, for devscripts, I am
about to debpush 2.25.18, but in accordance with that package's
conventions I should also make a v2.25.18 tag. I wouldn't like to have
to remember to push this separately. git-debpush won't push it itself,
though, because it's a native package.
Should git-debpush perhaps have a --follow-tags option which is just
passes straight through to git-push?
--
Sean Whitton
signature.asc
Description: PGP signature
