A pr id is not a pr number

The pr id is some globally unique thing that we don't care about
mozilla · Oct 14, 2020 · 81eb698 · 81eb698
1 parent af702eb
commit 81eb698
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sync/update.py b/sync/update.py
@@ -78,9 +78,9 @@ def schedule_check_run_task(commit, name, check_run, repo_update=True):
 
 def update_for_status(pr, repo_update=True):
     # type: (PullRequest, bool) -> None
-    for name, check_run in iteritems(env.gh_wpt.get_check_runs(pr.id)):
+    for name, check_run in iteritems(env.gh_wpt.get_check_runs(pr.number)):
         if check_run["required"]:
-            schedule_check_run_task(pr.head.sha, name, check_run)
+            schedule_check_run_task(pr.head, name, check_run)
             return