answered question about using GitHub for collaboration.