On the other hand, now that the name change is done, if there are more protests then nobody will waste time talking about whether Github should change the branch name. This time, people were talking about it even before Github did anything, so it was going to be a distraction regardless. Github doing this ought to be considered just closing the book on this discussion IMO.