Jump to content

Git repository on this server: Difference between revisions

From HW wiki
No edit summary
No edit summary
Line 2: Line 2:


* [[Git#Install_Git|Install Git]]
* [[Git#Install_Git|Install Git]]
* Put your sources to our local repository
* Put your sources to your local repository
  cd your/project
  cd your/project
  git init
  git init
  git add .
  git add .
  git commit
  git commit
* Then "connect" your repository to the one on server
* Then "connect" your repository to the one on this server
  git remote add origin ''login''@rtime.felk.cvut.cz:/var/git/''repo-name''.git
  git remote add origin ''login''@rtime.felk.cvut.cz:/var/git/''repo-name''.git
  git config branch.master.remote origin
  git config branch.master.remote origin

Revision as of 13:37, 25 July 2008

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

cd your/project
git init
git add .
git commit
  • Then "connect" your repository to the one on this 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.