Creating a Git Repo
Git repositories allow for many types of workflows, centralized or decentralized. Before creating your repo, decide which steps to follow:
Create A Local Repository
If you will be working primarily on a local machine, you may simply create a git repo by using
to change to the directory you wish to place under version control, then typing:
To initialize a git repo in that directory. From then on, you can run git commands in that directory.
Create A Remote Repository
If you will be working with your code primarily on patas, you will likely want to create your initial repository there.
ssh to patas.ling.washington.edu
- cd to the directory you wish to place under version control
- type "git init" in this directory.
Cloning the Remote Repository
If you wish to maintain a local copy of your code, you can clone the repository from patas by doing the following:
- create and cd into the directory you want to store the copy of the repository in
git clone ssh://<YOUR_USERNAME>@patas.ling.washington.edu/<PATH_TO_FILE> <DESTINATION_DIR>
for instance, if your username is "clmastudent" and the repo on patas is at ~/mycode, and you are already in the desired directory to store the copy ("."), you would type:
git clone ssh://firstname.lastname@example.org/~mycode .
- After entering your ssh password, you should have a copy of the entire repo in whichever directory you chose to clone it to.
Create a Shared Repository on Patas
If you will be working with a group, using Patas as a centrally-located server to coordinate your checkins is a good idea, but takes some setting up.
- You will need to send a request to email@example.com requesting that a group be created for the patas account names in your group. This will allow your group members read/write access to your files, without making them readable to everyone.
- You may also wish to request a directory be made for your group in the
/workspace directory on the server. This space is intended specifically for shared projects.
- Once inside the desired directory, you will need to type:
git init --shared=group this will create a git repo in which all group members are able to check in code ("Push" to, in Git terms)
If you already have a repository that wasn't created with --shared=group, you can convert it by doing the following:
- Edit the repository's "config" file (found in the main directory of the repository if it's bare, or in the .git folder if it's non-bare.)
- Add a line under [core] with "sharedRepository=true"
- Run "chmod -R g+w" on the repository's main directory.
By default, the shared repository has a working copy just like one on your local machine. git will complain if you do any remote operations that might make this working copy go out of sync, such as "git push origin master," with a message like the following:
remote: error: By default, updating the current branch in a non-bare repository
remote: error: is denied, because it will make the index and work tree inconsistent
remote: error: with what you pushed, and will require 'git reset --hard' to match
remote: error: the work tree to HEAD.
The solution is to make your shared repository a "bare" repository, with no working copy. The git FAQ has a good example of how to convert a non-"bare" repository
to a "bare" one. For more information, see the description of "--bare" in the git-clone manpage or this stackoverflow thread
These instructions seem to sometimes convert a shared repository into a non-shared one, causing only one group member to be able to push; if you have this problem, you can correct it with the instructions at the end of the section above.