GitLab

This ensures that the configuration is fully distributed and doesn't
change during the verification process.
Signed-off-by: Petr Pudlak <pudlak@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>