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

Dear committers,

We have now completer the switch from fdo to gerrit as the primary
site for our git repos

core, binfitler, dictionaries, help and translations are now hosted
primarely on gerrit.libreoffice.org

please update your .git/config to reflect that.
the easiest way is to edit the [remote "origin"] entry

something like

[remote "origin"]
        fetch = +refs/heads/*:refs/remotes/origin/*
        url = ssh://logerrit/core.git


provided that you have in your ~/.ssh/config
something like

Host logerrit
User <the username you defined in gerrit>
Port 29418
Hostname gerrit.libreoffice.org
IdentityFile ~/.ssh/<the private key associated with the public key
you uploaded to gerrit>


modulo the changes above
the usual workflow is unchanged.

Now for people using gerrit's feature. the good news is that once a
patched is review+verified, one can now use the 'Publish and Submit'
button to push a patch on the appropriate branch... no need to push it
separately(*) to fdo


Norbert


(*)
Pushing to fdo has been disabled... if you try you should receive a message like

 $git push
Counting objects: 5, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 378 bytes, done.
Total 3 (delta 2), reused 0 (delta 0)
*** The reference for this repo is gerrit. do not push directly to fdo
error: hooks/update exited with error code 1
error: hook declined to update refs/heads/master
To ssh://git.freedesktop.org/git/libreoffice/core
 ! [remote rejected] master -> master (hook declined)
error: failed to push some refs to
'ssh://git.freedesktop.org/git/libreoffice/core'