git-gui i18n repo on repo.or.cz

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