Changing Git Repository Names

Hi teachers,

I wanted to give you a heads up that all new git repositories created on Replit will use ‘main’ as the default branch instead of ‘master’. This will not effect existing repls, or any repls created via github.

Please let us know if you run into any concerns regarding this change and we’ll address them promptly!