Avoid double-slash in GitHub login url.

See #1540