Deciding on Git versus Subversion