Creating a personal git tree: Difference between revisions

From OLPC
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>

Further Reading

Git