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.
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