Add documentation on using the Github integration