Git repository on this server: Difference between revisions

Revision as of 12:10, 15 July 2008

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

Install Git
Put your sources to our local repository

cd your/project
git init
git add .
git commit

Then "connect" your repository to the one on server

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.

@@ Line 10: / Line 10: @@
   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
+  git config branch.master.merge refs/heads/master
 * Push your sources to the server
   git push --all
 For other hints refer to the [http://git.or.cz/#documentation git documentation] or to [[Git|this page]].