mirror of
https://github.com/zed-industries/zed.git
synced 2026-07-09 16:00:35 +00:00
PR board: Stop touching archived items (#59428)
The GitHub workflow was sometimes failing when someone edited the already-merged PR that had been archived on the board because archived items can't have their fields changed. The project board fields don't need to be updated when the PR is already merged or closed. Release Notes: - N/A
This commit is contained in:
parent
ed6e747bc5
commit
4c0717facc
1 changed files with 4 additions and 0 deletions
|
|
@ -784,6 +784,10 @@ if __name__ == "__main__":
|
|||
print(f"Skipping draft PR #{pr['number']}")
|
||||
sys.exit(0)
|
||||
|
||||
if pr.get("state") != "open":
|
||||
print(f"Skipping PR #{pr['number']} (state: {pr.get('state')})")
|
||||
sys.exit(0)
|
||||
|
||||
print(f"Processing PR #{pr['number']}: action={action}")
|
||||
|
||||
if action in ("labeled", "unlabeled"):
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue