Git

6 June 2011

Creating a New Repository is done from the Dashboard which then displays the next steps.

24 May 2011

I am getting started with git and had some frustrations because the synchronization did not work, with all sorts of weird error messages. I created a new clone and got working again:

Getting in sync with the master repository on github

I created a new directory and typed

git clone git@github.com:stengel/gambit.git

Which creates a local copy of the repository.

Then I edited my README file locally, followed git protocol

git add README
git commit README

git push origin master

and then the README file was amended on the remote master branch on github.

I went on github via the web to see if the changes took effect and they did.

There, I clicked "Edit file" and added a line break and then "Commit changes" (it seems vital to either do that or click "Cancel" since otherwise the system is in limbo) and then

git pull origin master

and also my remote changes on the master are now local again.

Deleting a file from the repository

There does not seem to be a way to do this on github over the web.

I had a file called "whatwedo.wiki" that I wanted to get rid of. I did it by the book, by doing the removal locally:

git rm whatwedo.wiki
git commit
git push origin master

and indeed it is gone on the master as well!

Cloning the wiki pages with git

Click "Git Access":

git@github.com:stengel/gambit.wiki.git

On local Linux computer: git clone git@github.com:stengel/gambit.wiki.git

creates gambit.wiki (the directory can be moved around because it has local information for git in its local .git directory).

When I modify files and add and commit them, when pushing up I am asked

$ git push origin master
Enter passphrase for key '/home/stengel/.ssh/id_rsa': 

each time, which I am not for the push command in the normal directory. The passphrase is requested when doing this remotely via .ssh. On the same computer it remembers it.