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.
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.