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

ci: fix flake update #8

Merged
flowey merged 8 commits from flowey/fix-flake-update into master 2026-09-17 05:20:22 +00:00
Conversation 1 Commits 8 Files Changed 3
+14 -6
1 changed files with 14 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit e692589fe9 - Show all commits
ci.py
+12 -4
View File
@@ -475,16 +475,24 @@ def open_pr(args):
host = os.environ["API"].removesuffix("/api/v1") host = os.environ["API"].removesuffix("/api/v1")
auth = base64.b64encode(f'token:{os.environ["GH_TOKEN"]}'.encode()).decode() auth = base64.b64encode(f'token:{os.environ["GH_TOKEN"]}'.encode()).decode()
git("-c", f"http.extraHeader=Authorization: Basic {auth}", push = git("-c", f"http.extraHeader=Authorization: Basic {auth}",
"push", "-f", f'{host}/{os.environ["REPO"]}.git', f"HEAD:{args.branch}") "push", "-f", f'{host}/{os.environ["REPO"]}.git', f"HEAD:{args.branch}",
check=False)
if push.returncode != 0:
raise RuntimeError(f"git push failed:\n{push.stderr}")
owner = os.environ["REPO"].split("/")[0] owner = os.environ["REPO"].split("/")[0]
if gitea("GET", f"/pulls?state=open&head={owner}:{args.branch}"): existing = gitea("GET", f"/pulls?state=open&head={owner}:{args.branch}")
if existing:
print(f"PR #{existing[0]['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 []
gitea("POST", "/pulls", pr = gitea("POST", "/pulls",
{"title": args.title, "head": args.branch, "base": args.base, {"title": args.title, "head": args.branch, "base": args.base,
"body": Path(args.body_file).read_text(), "labels": labels}) "body": Path(args.body_file).read_text(), "labels": labels})
if not pr or "number" not in pr:
raise GiteaError(f"POST /pulls: unexpected response: {json.dumps(pr)}")
print(f"opened PR #{pr['number']}")
def main(): def main():