tree 50ec5d59ccf66dba1c3d72e85bbe9233f477865a
parent 3bf6b4d4dfe0d11337341472ed3bc0a24ca7d6fb
author Luca Milanesio <luca.milanesio@gmail.com> 1575580369 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1576152395 +0000

Adjust Gerrit-verifier pipeline branch scanning

The branch scanning does not need to fetch all changes
anymore and thus can be re-run every 10 minutes for detecting
new changes or patch-sets.

Change-Id: Iaebcb4b83fabbe25d41a6deada410af23986fdbd