Post #2220934

@hugovk@mastodon.social the writing has been on the wall for a long time. Shockingly it turns out that #GitHub uptime isn't really better than #codeberg anymore, so the only really good excuse to keep using GitHub is if you're hugely reliant on free CI minutes. I sympathize and am in the same boat. I have been wondering for a bit, if it might be viable to have some simple automation that mirrors any PRs on codeberg to GitHub just to run CI, then report back on codeberg.