An example of how to collaborate on Github