How to disable inherited rulles.pl?

[Greg]

Hi, 

my Gerrit project does not have Prolog rules.pl file. Instead we have a label defined in our project.config file and submit-requirement for this label.

But in Gerrit GUI, for every commit i can see this label twice. One set by  submit-requirement and the second by "label:Message-Tag-Verified=gerrit~PrologRule".

We have rules.pl file in a higher level project from which we inherit some configuration. I guess this second label comes from this higher level project. We want to have this label set only by  submit-requirement. 

Is there any way to remove this second label, somehow disable prolog in my project ?

Greg 

[Daniele Sassoli]

Hi Greg

On Wednesday, 25 February 2026 at 12:39:18 UTC Greg wrote:

Hi, 

my Gerrit project does not have Prolog rules.pl file. Instead we have a label defined in our project.config file and submit-requirement for this label.

What version of Gerrit are you running? prolog rules have long been deprecated, since 3.6 I believe[1]

But in Gerrit GUI, for every commit i can see this label twice. One set by  submit-requirement and the second by "label:Message-Tag-Verified=gerrit~PrologRule".

We have rules.pl file in a higher level project from which we inherit some configuration. I guess this second label comes from this higher level project. We want to have this label set only by  submit-requirement. 

If the label is defined as overridable, ie. canOverride=true, it should be possible to override its behaviour, then maybe setting the function to NoOp might be enough?

Is there any way to remove this second label, somehow disable prolog in my project ?

Greg 

[1] https://www.gerritcodereview.com/3.6.html

Dani 

[Greg]

Hi,

function = NoOp works, i have only one label! Thank you.

Greg

[Alhassan Gabare]

Sent from my phone

--
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/repo-discuss/9c132b62-a1d5-4edc-92ac-c86a098bcc77n%40googlegroups.com.