Learn more about these different git repos.
Other Git URLs
Do not allow `,` in tags
This break the UI when adding tags to a ticket or a PR, there are split
as if they were two tags while they are one in fact.
Signed-off-by: Pierre-Yves Chibon <email@example.com>