I wrote: > I wrote: > > [Sean:] > > > 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. > > That check would detect this situation and help thngs be less > confusing. > > So when we implement this we should make sure that the error message is > written in contemplation of all of the following possible situations: > > (a) git-debpush is trying to upload something different to what > the user intended (eg user is on wrong branch). > > (b) The user has presented the intended thing to git-debpush > but someone else has already uploaded it > > (c) A previous attempt to push failed during push and we are > repushing the tag, but somehow the tag contents aren't the > same (eg, the user is passing different options).
The message I added in !231 is Tag $debian_tag already exists at $fetch_url. This version seems already to have been released. -- 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.
