more generally, to contribute anything, the workflow is http://pantsbuild.github.io/howto_contribute.html