From a75ba6d75bd0e843a4ae04d7beb91b8170ea9d7a Mon Sep 17 00:00:00 2001 From: Mazdak Farrokhzad Date: Fri, 4 Oct 2019 22:57:27 +0200 Subject: [PATCH] Fix PR number in ROLLUP_MADE event. --- homu/server.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/homu/server.py b/homu/server.py index 6806595..7fcf70d 100644 --- a/homu/server.py +++ b/homu/server.py @@ -337,6 +337,8 @@ def rollup(user_gh, state, repo_label, repo_cfg, repo): user_repo.owner.login + ':' + branch_name, body, ) + state.num = pull.number + state.head_sha = pull.head.sha state.change_labels(LabelEvent.ROLLUP_MADE) except github3.models.GitHubError as e: return e.response.text