Author SHA1 Message Date
Floweynt d18e1b6c15 try fix again
diff-pr / dix (pull_request) Successful in 6m39s
flake-check / flake-check (pull_request) Successful in 53s
lint / lint (pull_request) Successful in 1m49s
2026-09-16 19:41:55 -05:00
Floweynt 86d78a4760 temp 2026-09-13 13:48:50 -05:00
2 changed files with 5 additions and 3 deletions
+2
View File
@@ -10,6 +10,8 @@ jobs:
runs-on: nix runs-on: nix
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with:
persist-credentials: false
- run: nix flake update -L - run: nix flake update -L
+3 -3
View File
@@ -481,10 +481,10 @@ 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}")
owner = os.environ["REPO"].split("/")[0] pulls = gitea("GET", f"/pulls?state=open&base_branch={args.base}")
existing = gitea("GET", f"/pulls?state=open&head={owner}:{args.branch}") existing = next((pr for pr in pulls if pr["head"]["ref"] == args.branch), None)
if existing: if existing:
print(f"PR #{existing[0]['number']} already open, pushed update") print(f"PR #{existing['number']} already open, pushed update")
return return
labels = [label_id(args.label)] if args.label else [] labels = [label_id(args.label)] if args.label else []
pr = gitea("POST", "/pulls", pr = gitea("POST", "/pulls",