Creating a personal git tree: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
Line 32: | Line 32: | ||
git --git-dir=. pull <repo-url> |
git --git-dir=. pull <repo-url> |
||
</pre> |
</pre> |
||
== Further Reading == |
|||
[[Git]] |
|||
[[Category:Software development]] |
|||
[[Category:Software]] |
|||
[[Category:Developers]] |
|||
[[Category:HowTo]] |
|||
[[Category:Git]] |
Revision as of 19:18, 21 January 2008
These instructions assume that you wish to create a new personal git tree for a project named PROJ hosted in an account named USER on our hosting server, http://dev.laptop.org
Initialize a new bare repo
Git-web expects to find bare repositories (i.e. repos with no working directory). To make a new bare repo:
ssh USER@dev.laptop.org mkdir -p ~/public_git/PROJ cd ~/public_git/PROJ git --bare init
Edit the repo description
Fill in something meaningful for gitweb by putting a line in ~/public_git/PROJ/description.
Fill in the new repo
You can either push commits into the new repo, for example by running
cd LOCAL_PROJ git push --all git+ssh://USER@dev.laptop.org/~/public_git/PROJ
or you can pull commits into the repo, by running:
ssh USER@dev.laptop.org cd ~/public_git/PROJ git --git-dir=. pull <repo-url>