all: stop accepting PRs on GitHub and remove Sourcehut CI #304
After the migration to Codeberg we left PRs open on a few of the GitHub repos and left the old Sourcehut CI builds for the main project running for GitHub PRs.
After we are confident that everything is working properly and that our contributors have mostly moved over to Codeberg, we will stop accepting PRs on GitHub and automatically close them with a message telling the user to use Codeberg. We can then remove the builds.sr.ht configuration in
.builds/ and delete the repo on
There is currently no timeline for this change and the entire process is open to debate. Comments and suggestions are welcome!
I've completed the first part of this issue and disabled all builds on the GitHub/SourceHut side. The dispatcher service was being deprecated anyways so the timing worked out.
Update: we've been using Codeberg for a while now. I ran into issues when I recently went to remove this project from GitHub entirely, so let's just add an action that auto-closes PRs and points people here. We can do this whenever, this issue is ready to be finished.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?