Sean Whitton writes ("Bug#1107921: git-debpush fetch before making tag"):
> On Tue 17 Jun 2025 at 12:41pm +01, Ian Jackson wrote:
> > * Provide options which can be used to retry a push, including
> > a way to push only the tag. How about --retry-push
> > and --no-branch (= `--branch=HEAD~0`).
>
> I'd suggest something different: if the tag already exists, offer a y/n
> prompt to retry the push.
In this case we should probably generate the tag text and compare it.
(Not checking the signature.) We probably wouldn't want to push
something different to the tag we would have made.
> I think it should always attempt to push the branch and the tag.
> If the user wants to get into pushing individual items, they should just
> use 'git push' themselves.
The user can already do that if they tag a detached HEAD, of course.
But your way of handling this is better.
Ian.
--
Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own.
Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk,
that is a private address which bypasses my fierce spamfilter.
