binfilter, core, dev-tools, dictionaries, help, translations are now all on gerrit

[Bjoern Michaelsen]

Hi,

see $subject. All of the above repositories have been created on gerrit and are
synced from fdo.

IMPORTANT NOTE: If you remove branches on fdo you break the sync, so please
either wait with it until we are on gerrit or update:
 https://gerrit.libreoffice.org/gitweb?p=dev-tools.git;a=blob;f=gerritbot/syncgerrit;h=765bccfcc99759e263ddbc782de82a1630b596f5;hb=HEAD
and then drop a note at gerrit at otrs.documentfoundation.org asking to deploy the
change. Some for adding branches, they wont get synced automatically.

Best,

Bjoern