WIP: A script for merging a gitea PR
#1
Draft
lee.miller
wants to merge 1 commits from lee.miller/termux_devenv:gitea-merge
into master
Loading…
Reference in New Issue
There is no content yet.
Delete Branch 'lee.miller/termux_devenv:gitea-merge'
Deleting a branch is permanent. It CANNOT be undone. Continue?
Hi!
I started writing the script you asked for.
well you don't need to put it here but I guess it works for now
Looks ok, I'll test it out when the next PR is up for merging.
It is just a halfway. I also have to check approving the PR and getting the status of checks.
Prerequisites:
<gitea username>:<gitea password> <PR no> <github username>:<github access token>
18fbf900ed
to514f6433b2
2 years agoYou can probably test now on somewhat like Bitmessage/PyBitmessage#4. Currently it only checks github check runs, not all required statuses.
Also I guess opening a PR on github might be done by a buildbot task, triggered by merging a PR here.
I'm now successfully using it, I store the credentials with
pass
, this allows them to be transparently extracted. There were also some minor changes needed (the repo I'm pushing to / calling API is not derived from my username but it's an organisation). And also some error handling is needed, sometimes the API rates are exceeded as buildbot + code quality + daily clone take a lot of API calls and github refuses to raise the limit for me, they don't even have a paid product that would allow this. But even if there is some temporary error, I can just rerun the script later without having to delete the temporary branches, and it will still work ok.Reviewers
Step 1:
From your project repository, check out a new branch and test the changes.Step 2:
Merge the changes and update on Gitea.