Change in gerrit-admin[master]: Added hook to propagate CI flag