Learn more about these different git repos.
Other Git URLs
2ecd522
levels.js: Make redefining level names easier See pagure #10 for more details.