Alternative to collaboration over git and GitHub