Jump to content

Git repository on this server: Difference between revisions

From HW wiki
New page: 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 . *...
 
No edit summary
Line 6: Line 6:
  git init
  git init
  git add .
  git add .
git commit
* Then "connect" your repository to the one on server
* Then "connect" your repository to the one on server
  git remote add origin sojka@rtime.felk.cvut.cz:/var/git/mirosot.git
  git remote add origin sojka@rtime.felk.cvut.cz:/var/git/mirosot.git
Line 12: Line 13:
* Push your sources to the server
* Push your sources to the server
  git push --all
  git push --all
For other hints refer to the [http://git.or.cz/#documentation git documentation] or to [[Git|this page]].

Revision as of 09:28, 15 July 2008

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

cd your/project
git init
git add .
git commit
  • 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

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