WIP: A script for merging a gitea PR #1
No reviewers
Labels
No Label
No Milestone
No project
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: PeterSurda/termux_devenv#1
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "lee.miller/termux_devenv:gitea-merge"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. 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
You 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.Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Gitea.