`same_repo` check should be case-insensitive

[encukou]

GitHub user, org and repo names are case-insensitive.
(Branch names are case-sensitive, however.)

But it's easy to work around this :)