| submit_filter(In, Out) :- | |
| In =.. [submit | L1], | |
| verified_change(L1, L2), | |
| Out =.. [submit | L2]. | |
| verified_change(S1, S2) :- | |
| gerrit:commit_label(label('Verified', 1), R), | |
| !, | |
| S2 = [label('Verified', ok(R)) | S1]. | |
| verified_change(S, [label('Verified', need(_)) | S]). |