Go to <https://github.com/settings/repositories> you will see a section titled 
"Repository Default Branch", change it to be named "nim" by default, another 
thing that costs $0 and if made collectively can be positive.

Especially on non-nim projects ;P 

Reply via email to