Learn more about these different git repos.
Other Git URLs
0e6619e
- don't need to note restrictions on nicknames, because there aren't any now