diff options
author | Tom Stellard <tstellar@redhat.com> | 2024-02-05 10:59:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-05 10:59:14 -0800 |
commit | 9805c051f7d3a09a629c51461b49f8070c01de62 (patch) | |
tree | 084ae152a13bfc6e06ac1bb7e71f8dd82bbe0dc7 | |
parent | 0bf165e383ac9c58dcb1764aef9f35334afa0cc7 (diff) | |
download | llvm-9805c051f7d3a09a629c51461b49f8070c01de62.zip llvm-9805c051f7d3a09a629c51461b49f8070c01de62.tar.gz llvm-9805c051f7d3a09a629c51461b49f8070c01de62.tar.bz2 |
[workflows] Close issues used for backports once the PR has been created (#80394)
This will allow us to track the state of the backport request in the PR,
rather than in the issue. The state updates for PRs can be automated, so
this will save us some triage work.
-rwxr-xr-x | llvm/utils/git/github-automation.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/utils/git/github-automation.py b/llvm/utils/git/github-automation.py index 04698ca..e2b84ae 100755 --- a/llvm/utils/git/github-automation.py +++ b/llvm/utils/git/github-automation.py @@ -577,6 +577,10 @@ class ReleaseWorkflow: pull.as_issue().edit(milestone=self.issue.milestone) + # Once the pull request has been created, we can close the + # issue that was used to request the cherry-pick + self.issue.edit(state="closed", state_reason="completed") + try: self.pr_request_review(pull) except Exception as e: |