An Example of Using GitHub to Publish Documentation and to Manage Projects