Repo detection should be case-insensitive

As Github is case-insensitive regarding repository names (eg: you can both poll https://github.com/Olivr/copybara-action or https://github.com/olivr/copybara-action), we can easily make a mistake regarding the current repo name (the one in the URL) and the real one (as returned by the github context).
