We allow interactive access to off-site Git repositories. Since these can come in as either SSH traffic or HTTPS traffic,
we allow them only on an as needed basis. We currently allow:
SSH access to both these repositories should proceed as normal. There is no need for tunneling.
To enable pushing via https to github you have to modify the remote url with the following after cloning:
$ git remote -v
origin https://github.com/path/to/repository.git (fetch)
origin https://github.com/path/to/repository.git (push)
$ git remote set-url origin https://<authorized users github username>@github.com/path/to/repository.git
following which git clone etc commands using HTTPS URLs should work as normal.