Page History

...

Afterwards add a new ssh key on GitHub and copy the content of ~/.ssh/id_rsa.pub to the Key section.

Accessing GitHub from psdev (and other internal networks)

To access GitHub from psdev/psana and other internal networks that lack a direct connection to the Internet, please use psproxy as the ssh/HTTPS proxy. 

For SSH access, please edit/create the file .ssh/config and add the following; replacing <your_unix_id> with your unix account id.

Host code.stanford.edu
  Hostname code.stanford.edu
  User git
  ProxyCommand ssh <your_unix_id>@psproxy nc %h %p

Host github.com
   Hostname github.com
   User git
   ProxyCommand ssh <your_unix_id>@psproxy nc %h %p

To access GitHub repos using HTTPS, set your Git http.proxy using 

git config --global http.proxy http://psproxy:3128

Useful Commands

Check status of the repo

...