我正在尝试创建我的prolog rules.pl文件以在Gerrit中强制执行门控功能。除非特定用户获得+1分,否则我需要阻止推送。这就是我所拥有的,但它有一些我无法找到的错误。我需要做哪些改变?
submit_rules(S) :-
gerrit:default_submit(X),
X =.. [submit | Ls],
need_specific_approval(Ls,R),
S =.. [submit| R].
need_specific_approval(S1, S2) :-
gerrit:commit_label(label('Verified', 1),need('userA_username_or_email')),
S2 = [label('UserA-Verified', ok(_)) | S1].
need_specific_approval(S1, [label('UserA-Verified', need(_)) | S1]).