Am 23/04/2019 um 14:48 schrieb Adrien Destugues:
Could you please use Gerrit more? That's exactly what it is madewell...
But still, it looks like we do need two people reviewing (one giving
+2 and one clicking merge). There is no hurry to get everything