Fixed Git Repositories

Repository creation explains duplicate names

Creating a repository now identifies a name that is already used by the current team.

The Git repository section stays open while creating a repository. If the name is already used by the current team, the form reports that specific problem so another name can be chosen.