diff options
author | Miklos Vajna <vmiklos@collabora.com> | 2025-08-19 14:22:42 +0200 |
---|---|---|
committer | Miklos Vajna <vmiklos@collabora.com> | 2025-08-19 14:23:27 +0200 |
commit | 97a041d399ba0470971904f125db32a76fc0efd0 (patch) | |
tree | 12c5ee6115b51d3c750a98a37854ef12c488f328 | |
parent | 06e324a806f882d4da6af2a43daebe6c2b96f1ee (diff) |
Not sure why that happens, but it does happen sometimes, so just ignore
those events instead of exiting.
Change-Id: I94801d6145a41951d8b05f3f1ef13b0afa4cde9d
-rwxr-xr-x | gerrit/auto-submit/gerrit-autosubmit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gerrit/auto-submit/gerrit-autosubmit b/gerrit/auto-submit/gerrit-autosubmit index e2024fa6..2c4ada98 100755 --- a/gerrit/auto-submit/gerrit-autosubmit +++ b/gerrit/auto-submit/gerrit-autosubmit @@ -37,6 +37,8 @@ while True: if event['type'] != "comment-added": continue # should never happen + if 'owner' not in event['change'].keys(): + continue if 'username' not in event['change']['owner'].keys(): continue if event['change']['owner']['username'] != os.environ['USER']: |