Clean tags #1585
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
As one can see on our tags page, we have a lot of rather useless tags that should be cleaned:
I propose to make a rigorous cleanup of such tags. This is a task which can be shared by multiple people if they coordinate well.
Some tools
To make finding, deleting, or replacing tags easier, I collect a few bash lines which automate things:
Finding files containing a tag
Replacing a tag with another
Requirement: install git-sed (see my blog about this tool)
Here, you should take care that the newtag is not already a tag of the file.
(Committed as
db51a77622)Deleting a tag
(Committed as
31d860725a)I suggest that we write tags like we would write HTML identifiers: all lowercase with a dash (-) separating words if that is helpful for readability. For example, "koalition-freies-wissen" rather than "KoalitionFreiesWissen" or "koalitionfreieswissen".