git-gui i18n repo on repo.or.cz

[Johannes Schindelin <Johannes.Schindelin@gmx.de>]

Hi people,

I proudly present...

	http://repo.or.cz/w/git-gui/git-gui-i18n.git

It is meant to be rebased to git-gui's master pretty often.  It has also a 
mob branch where you can push your new changes into.

For those who do not know what a mob branch is: By using the URL 
mob@repo.or.cz:/srv/git/git-gui/git-gui-i18n.git, without password, 
_everybody_ can push into the branch named "mob" (but _only_ into that).

This facilitates participation without the need of a password, or commit 
permissions, since it is mean to be pulled/cherry-picked by the repo 
maintainer, who can decide what is good and what is bad.  For the moment, 
the maintainer is yours truly.  If somebody volunteers, I am certainly not 
sad.

I would like to ask people to not push with "+" into the mob branch, but 
pull it instead, so that we do not lose any valuable data.  It is probably 
a good idea to send an email to the repo maintainer, too.

For the time being, I will rebase the master branch relatively often, 
and try to stay on top of the mob branch.

At the moment, the repo contains three branches: master (which I would 
like to be rebased onto git-gui's master quite frequently), 
christian-orig, the patch series which Christian sent, and which branched 
off git-gui's master roughly 8 days ago, and the mob branch.

Ciao,
Dscho