Collaborative distributed version control