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.
Topic revision: 07 May 2018, JasonDorfman

MIT Computer Science and Artificial Intelligence Laboratory


  • About CSAIL
  • Research
  • News + Events
  • Resources
  • People

This site is powered by Foswiki MIT: Massachusetts Institute of Technology