Git repository on this server

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

Install Git
Put your sources to our local repository

cd your/project
git init
git add .

Then "connect" your repository to the one on server

git remote add origin sojka@rtime.felk.cvut.cz:/var/git/mirosot.git
git config branch.master.remote origin
git config branch.master.merge=refs/heads/master

Push your sources to the server

git push --all