If they're a nuisance, I suggest that we clone the Django repo into another
one under the django organization -- say, "django-historical-branches" --
before removing them from the main repo.
git replace
has been added." I don't know if that might allow deleting the branches? Anyway, if anyone wants to take some action here that's okay with me as I'm not really motivated to invest any more time than clicking "delete branch" which apparently isn't acceptable at this time.