Cleanup dead & wip git branches?
Now that everybody is used to git and gitlab, and its distributed nature, can we have a clean set of maintained branches in upstream ? (instead of the current list of half-merged, half-deprecated, personal stuff)
I suggest to clone the repository with all the branches somewhere in the attic to keep a reference to those, if necessary.