A pr id is not a pr number

The pr is is some globally unique thing that we don't care about
mozilla · Oct 14, 2020 · 6f4a06a · 6f4a06a
1 parent af702eb
commit 6f4a06a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sync/update.py b/sync/update.py
@@ -78,7 +78,7 @@ 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)
             return