On Thu, May 18, 2017 at 10:55:41PM +0200, Rüdiger Meier wrote:
> It should not be a problem to delete tags like it's no problem to delete
> branches. Only rebasing branches or re-creating conflicting tags could be
> annoying or at least confusing.
It should be re-taged rather than deleted and it's the problem. I don't
think it's important after the years.
Karel
--
Karel Zak <kzak@xxxxxxxxxx>
http://karelzak.blogspot.com
--
To unsubscribe from this list: send the line "unsubscribe util-linux" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
