git Repository Sharing

git Repository Sharing with SSH

The following assumes you already have a local repo, e.g. that you have run git init; git add .; git commit -m "my commit message"

  1. cd to the top level of your local working tree
  2. git remote add origin
  3. git push origin master

Now you should be able to push/pull using your ssh (i.e., CSAIL kerberos) credentials.