Improve doc about gerrit/setup

[Bjoern Michaelsen]

Hi Christophe,

On Tue, Jul 10, 2012 at 07:42:02AM +0200, Christophe JAILLET wrote:
> 3 more points to have it well configured in my box :

It seems to me you are not pushing the right patch: ./logerrit pushes the
current HEAD. You can see what ./logerrit would try to submit with:

 git show HEAD

also check if:

 git log -1 HEAD^

is really a commit that is already on master. All the other points seem to be
related.

Best,

Bjoern