[ci] update assignees and reviewers on PR github update (#10168)

hail-is · Mar 10, 2021 · bcb0f3b · bcb0f3b
1 parent c456b7e
commit bcb0f3b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci/ci/github.py b/ci/ci/github.py
@@ -228,6 +228,8 @@ def update_from_gh_json(self, gh_json):
  assert self.number == gh_json['number']
  self.title = gh_json['title']
  self.author = gh_json['user']['login']
+ self.assignees = {user['login'] for user in gh_json['assignees']}
+ self.reviewers = {user['login'] for user in gh_json['requested_reviewers']}
 
  new_labels = {label['name'] for label in gh_json['labels']}
  if new_labels != self.labels: