Git repository on this server: Difference between revisions
Appearance
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:
- 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 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.