Hosting on github

To be able to commit changes to a github hosted repository, now github requires you to use ssh to checkout and push changes. To do this you need to generate an ssh key and publish it on the github web page. github doesn't allow you to register the same ssh key for multiple repositories, so if you have multiple repositories you wish to contribute to from the same host computer there needs to be a little bit of ssh voodoo. The following assumes the use of OpenSSH on either unix or windows. For Windows, you can install the OpenSSH client from the app menu in Settings. Also for Windows, you need to have the "OpenSSH Authentication Agent" running (run from Services app).

...

now you can clone with git clone git@github.com:slaclab/facet2-lattice.git etc and successfully perform push/pull operations and so on.

Updating on AFS

The controls network machines (e.g. facet-srv01) cannot see the outside world