Creating a personal git tree

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, [1]

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>