tree ce0eb61dae7b2daf3a10cfa7524b35715878d094
parent 0dead1760538b1583bfdab65409e46b30a16be70
author Luca Milanesio <luca.milanesio@gmail.com> 1594819511 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1594821023 +0000

Always run PolyGerrit lint on merge commits

Merge commits may pull in changes that are not explicitly
listed as part of the merge but are coming from earlier
branches and did not cause any conflict.

Always run PolyGerrit lint when a merge commit is detected,
as the process is not part of the critical path of the build
and it would make sure that no un-checked code is pulled
when the merge commit is submitted.

Bug: Issue 13143
Change-Id: Icd126693b39d113139fac7070c9fe92603be76bd