Maxime Guerreiro 596a913f06 Rename the publishCommentsOnPush option in GWT ...

Adjust documentation accordingly. PolyGerrit uses the sort name
"Publish comments on push", and it was not possible to find this name in
the documentation.

Change-Id: Ib9797b43f4b2ac028dbbeab95287b34ec25de067

2018-04-09 09:02:13 +00:00

..

src

Rename the publishCommentsOnPush option in GWT

2018-04-09 09:02:13 +00:00

BUILD

Dissolve gerrit-common top-level directory

2017-10-31 11:02:36 -04:00