On Sun, Jun 29, 2014 at 03:05:48PM -0400, David Nalley wrote:
> You can delete tags and push the deletion to origin.

I stand corrected... ;-)

Reply via email to