The command should work, it seems like a server-side bug. As I said, I deleted the round 1 1.1.1 tag and made a new one for round 2, so it's worked before (and quite recently).
Is it just me? B. On 21 October 2011 23:19, Noah Slater <nsla...@tumbolia.org> wrote: > On Fri, Oct 21, 2011 at 11:14 PM, Robert Newson <rnew...@apache.org> wrote: > >> The only annoying factor is that I can no longer delete the 1.1.1 tag >> > > This seems odd. > > I thought there was always a way to undo things in Git? > > >> So, unless someone else can delete it, it will hang around until I >> change it to its final value. I *won't* be changing it for round 3 or >> higher, though, as per the above proposal. >> > > Makes sense. > > >> I'd like a few more +1's for the 'use commit id until official >> release' policy but there's time, since we're waiting on a Windows fix >> for the basename() issue. >> > > Agreed. > > Perhaps we should involve someone from the board on this? > > Seems like an important enough decision. >