1.1 Getting started with git

Getting in sync with the master repository on github

I created a new directory and typed

git clone [email protected]:gambitproject/gte.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

I have not yet figured out 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!