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 username@login.csail.mit.edu:path/to/your/directory
3. git push origin master

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