+1 from me
On Mon, Apr 4, 2016 at 6:00 AM, Stefan Bodewig <[email protected]> wrote: > On 2016-04-03, Matt Sicker wrote: > > > I thought Infra disabled the ability to delete tags in git anyways unless > > they reverted that recently. > > Only tags under rel/ cannot get deleted, all others can. Therefore final > release tags should be created as rel/THE_TAG_NAME. > > Stefan > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
