Git repository on this server: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
After a repository is created here for you, follow these instructions: | After a repository is created here for you by the admin, follow these instructions: | ||
* [[Git#Install_Git|Install Git]] | * [[Git#Install_Git|Install Git]] | ||
| Line 8: | Line 8: | ||
git commit | git commit | ||
* Then "connect" your repository to the one on server | * Then "connect" your repository to the one on server | ||
git remote add origin | 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 | ||
git config branch.master.merge=refs/heads/master | git config branch.master.merge=refs/heads/master | ||
Revision as of 11:05, 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.