deletion of branch seems to modify tag as well?

2013-06-05 Thread Lyons, Roy
$ git push origin :ABRANCHNAME remote: Firing Pre - receive hook remote: remote: remote: Firing Post receive hook remote: remote: Branch is ABRANCHNAME -- not creating Trigger file since this is not _int branch remote: error: Trying to write ref refs/tags/ABRANCHNAME!SN-BL-20130605_100513_04363

Re: deletion of branch seems to modify tag as well?

2013-06-05 Thread Jeff King
On Wed, Jun 05, 2013 at 03:26:18PM +, Lyons, Roy wrote: $ git push origin :ABRANCHNAME remote: Firing Pre - receive hook remote: remote: remote: Firing Post receive hook remote: remote: Branch is ABRANCHNAME -- not creating Trigger file since this is not _int branch remote: error:

Re: deletion of branch seems to modify tag as well?

2013-06-05 Thread Lyons, Roy
Excellent response. I had not even considered that the hook for creating these tags would be in the mix. I withdraw my bug report happily :) Thanks, Roy Lyons On 6/5/13 10:51 AM, Jeff King p...@peff.net wrote: On Wed, Jun 05, 2013 at 03:26:18PM +, Lyons, Roy wrote: $ git push