Fix race in gerrit+github test

These builds could otherwise arrive out of order.

Change-Id: Ifc61cb17a62a8c6488d05dec37e69b7908ad7673
1 file changed