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]
