The repos setup does not force repo name uniqueness

[dillu24]

In the current implementation, the repos setup does not force the user to enter unique repo names.

This should not be allowed since a user may by mistake give two distinct repos the same name, and as a result the GitHub monitors would not work as expected.