| commit | 0791c61c2cba0ce773e57a1e85c2fdd98c41155b | [log] [tgz] |
|---|---|---|
| author | Jiri Simsa <jsimsa@google.com> | Sat Jul 11 08:10:04 2015 -0700 |
| committer | Jiri Simsa <jsimsa@google.com> | Sat Jul 11 08:10:04 2015 -0700 |
| tree | 6055e84745e733c3401fdb9340425752957547c7 | |
| parent | 9372723537b4dfd21ae1b10dec444ddd1ce17fb9 [diff] |
Allow Admin Bot to submit on behalf of others.
diff --git a/rules.pl b/rules.pl index c516ac1..def3ab3 100644 --- a/rules.pl +++ b/rules.pl
@@ -10,10 +10,10 @@ \+ regex_matches('@google.com', Email), !. -%% The Admin Bot (ID 6165) can submit on behalf of others. +%% The Admin Bot (User ID: 6165) can submit on behalf of others. only_author_can_submit(S, S) :- gerrit:current_user(Id), - Id == 6165, + Id == user(6165), !. only_author_can_submit(S, S) :-