tree 56eca5a8eeb3ee43a09027cda47abc9e931b551b
parent 5bcb69edaf06a8a4d3628de141f50c3829f69370
author Luca Milanesio <luca.milanesio@gmail.com> 1689602504 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1689616882 +0000

Move to the standard Gerrit plugins verifier

Change-Id: I5c4a71f32d29ca856a1933d8da9b0e122110328a