Get repo name from 'origin' or 'github' git remotes.
Add `--remote` CLI option to customize git remote name.

We actually want to push to gerrit rather than github in our WMF jenkins
integration.
URI-encode path components to allow branches with slashes.