You are here

Access to Remote Git Repositories

Access to Remote Git Repositories

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 Based Access

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.