server/server-config
3
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

try fix again
diff-pr / dix (pull_request) Successful in 6m39s
Details
flake-check / flake-check (pull_request) Successful in 53s
Details
lint / lint (pull_request) Successful in 1m49s
Details

Browse Source
This commit is contained in:
Floweynt
2026-09-16 19:41:55 -05:00
parent 86d78a4760
commit d18e1b6c15
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
ci.py
+1 -1
View File
@@ -481,7 +481,7 @@ def open_pr(args):
if push.returncode != 0: if push.returncode != 0:
raise RuntimeError(f"git push failed:\n{push.stderr}") raise RuntimeError(f"git push failed:\n{push.stderr}")
pulls = gitea("GET", "/pulls?state=open") pulls = gitea("GET", f"/pulls?state=open&base_branch={args.base}")
existing = next((pr for pr in pulls if pr["head"]["ref"] == args.branch), None) existing = next((pr for pr in pulls if pr["head"]["ref"] == args.branch), None)
if existing: if existing:
print(f"PR #{existing['number']} already open, pushed update") print(f"PR #{existing['number']} already open, pushed update")