Comment by kotatsuyaki

While I migrated my personal repos over to Codeberg, I do still submit PR's to repos on GitHub. Today I just submitted a trivial PR, and I'm now watching the poor repo owner repeatedly re-running the failed CI job that keeps saying "GitHub Actions has encountered an internal error when running your job".