Git repository on this server: Difference between revisions
Appearance
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
* [[Git#Install_Git|Install Git]] | * [[Git#Install_Git|Install Git]] | ||
* Put your sources to | * 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:
- 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
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.