You submit it as a pull request to the r20 repo . If you aren't familiar with git and/or GitHub, the wiki has some basic workflows. Beginner's guide to GitHub Short git guide I highly recommend learning and using the command line interface for git and using the sparse checkout method described in the short git guide.
