all: stop accepting PRs on GitHub and remove Sourcehut CI #304

New Issue

Closed

opened 2022-07-11 14:11:43 +00:00 by SamWhited · 3 comments

SamWhited commented

2022-07-11 14:11:43 +00:00

Owner

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 git.sr.ht.

There is currently no timeline for this change and the entire process is open to debate. Comments and suggestions are welcome!

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 `git.sr.ht`. There is currently no timeline for this change and the entire process is open to debate. Comments and suggestions are welcome!

SamWhited added the

ops

proposal

labels 2022-07-11 14:12:29 +00:00

SamWhited referenced this issue

2022-07-11 14:13:02 +00:00

all: move to Codeberg #301

SamWhited referenced this issue from a commit

2022-08-19 11:38:38 +00:00

.builds: remove old CI

SamWhited commented

2022-08-19 11:41:44 +00:00

Author

Owner

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.

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](https://sourcehut.org/blog/2022-08-01-dispatch-deprecation-plans/) so the timing worked out.

SamWhited commented

2023-08-22 12:50:57 +00:00

Author

Owner

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.

SamWhited closed this issue

2023-08-22 12:51:01 +00:00

SamWhited reopened this issue

2023-08-22 12:51:07 +00:00

SamWhited added

help wanted

good first issue

and removed

proposal

labels 2023-08-22 12:51:23 +00:00

SamWhited commented

2023-12-15 19:24:37 +00:00

Author

Owner

I'm going to close this for now as it appears that auto-closing PRs on GitHub requires polluting the repo with a bunch of GitHub config files. We don't get a ton of contributions anyways, so closing them manually and letting people know shouldn't be a big deal.

SamWhited closed this issue

2023-12-15 19:24:39 +00:00