Secure, Private Git Repositories With Many Developers