On 1/11/2025 9:20 PM, Tomek CEDRO wrote:
By the way is there a way so that PR from "wild mirrors" like on GitLab or Forgejo could land into the GitHub? You would have to push such commits to a branch on your local GH account and then create a PR to the upstream?
This is way outside my areas of expertise. The way I think of it is that GIT is GIT wherever it is hosted. The value added by these sites is in the integrated development tools that they they add and the particular work flow that they support. So maybe some GIT only solution could work.
I think the PRs as we think of them are inventions of Github. GIT supports command line PR generation which probably underlies Github PRs, but any use case with these would be awkward: https://git-scm.com/docs/git-request-pull/2.6.7
