-
@kristoferbaxter The one time where it’s great we mostly run our distributed version control software called git on a centralized service called @github. They could probably come up with a smart way of changing the default branch on all repos and making sure redirects are in place.