I like this change. “main” is more easily understood. Presumably GitHub will be around for a while so this change will forever make it a little bit more straig

I like this change. “main” is more easily understood. Presumably GitHub will be around for a while so this change will forever make it a little bit more straightforward for people new to GitHub. Additionally if anyone says that they’d benefit from the change then I think it’s best to take them at their word because the cost to change is not high.