Question on collaboration using git and github