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
