git Repository Sharing with HTTP
Basic directions below for sharing via http (webdav). Understanding of git assumed.
- Create a WebDAV share under your group, project, or personal space.
- Follow instructions of setup-git-server-over-http.txt starting with Step 3
- 13 Jan 2014
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"
- cd to the top level of your local working tree
git remote add origin email@example.com:path/to/your/directory
git push origin master
Now you should be able to push/pull using your ssh (i.e., CSAIL kerberos) credentials.