Sorry, that mail was semantically wrong. It was obviously too late in the evening when i wrote it. :-) I originally meant this:
Do we want to remove all non ref/ tags that have a ref/ tag? And further, do we want to move the rc tags to rc/x.y.z.f-RCx? On 24 May 2017 3:19 p.m., "Stefan Bodewig" <[email protected]> wrote: > On 2017-05-23, Dominik Psenner wrote: > > > I just noticed that we have several rel/tags in our repository. Thanks > > Stefan for crafting those pgp signed immutable tags. > > rel/* is protected in our git repos, so we are encouraged to use them > for release tags. > > > Do we want to avoid duplication and remove the tags that have no rel/ > > prefix? > > I don't care much. The tags before 1.2.11 have been created by somebody > else than me so removing them feels a bit like re-writing history, but > only a bit. > > Stefan >
