tree 50c66c4ed02192ee6178425b6ebd7dcb7133e44d
parent e0c1a8dea8300209cf3e4897bae79330718e1ced
author Luca Milanesio <luca.milanesio@gmail.com> 1384131572 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1384131740 +0000

DON'T use forced push for GitHub replication.

Typically people using GitHub keep on pushing to it
directly, even when configured as Gerrit slave.
Unfortunately the Gerrit default setting is "force push"
(+refs/*:refs/*) which causes unpleasant surprises.

Use normal push (refs/*:refs/*) for replication and leave 
the responsibility to the user to rebase the Gerrit 
repository when needed.

Change-Id: Ib7c4ed69c777d2bf5ffd98921821971d5f9c658e