Git repository on this server

After a repository is created here for you by the admin, follow these instructions:

• Install Git
• Put your sources to your local repository

cd your/project
git init
git add .
git commit

• Then "connect" your repository to the one on this server (replace login by your login and and repo-name by the name of repository created for you)

git remote add origin login@rtime.felk.cvut.cz:/var/git/repo-name.git
git config branch.master.remote origin
git config branch.master.merge refs/heads/master

• Push your sources to the server

git push --all

For other hints refer to the git documentation or to this page.