Devel/Git

De Paraguay Educa

Publishing a personal repository

Login to your shell account on Machine/robbie and create an empty shared git repository:

mkdir -p ~/public_git/PROJECTNAME.git
cd ~/public_git/PROJECTNAME.git
git init --shared --bare
vim description

The first time, you need to ask an admin of Machine/robbie to export your public_git dir:

sudo ln -s /home/USERNAME/public_git /var/lib/git/users/USERNAME


Then, on your computer, add Machine/robbie as your remote mirror:

cd src/PROJECTNAME
git init  # if it still isn't a git repo
git remote add --mirror robbie ssh://git.paraguayeduca.org:24/git/users/USERNAME/PROJECTNAME

Every time you want to publish your personal tree, push it to robbie:

git push robbie

4j07rf TYVM you've solved all my porlbmes

Migrating a project from Subversion

This usually autodetects the canonical Subversion repository layouts:

$ git svn clone svn://codigo.paraguayeduca.org:24/PROJECTNAME

After the conversion is done, follow the procedure for creating a shared repository.

FIXME: maybe add a step to make the Subversion project read-only?

Herramientas personales