[ATTENTION] Gerrit is now the primary git repo. Freedesktop is now read-only

Jan Holesovsky kendy at suse.cz
Mon Aug 20 05:07:47 PDT 2012

Hi Petr, all,

On 2012-08-20 at 12:56 +0200, Petr Mladek wrote:

> I have many clones, so I created the attached script to do the job:

I've just pushed:


With this, it is enough to do:

./g --set-push-user <your_gerrit_username>

and you are done :-)

[no need to add anything to the .ssh/config either]

Apologies for accidentally pushing that to libreoffice-3-6-1 branch, I
forgot to check the branch I was on before pushing.

All the best,

More information about the LibreOffice mailing list