For my GitLab repos (where I maintain source/workflow) I use the mirror functionality to automatically push any and all all commits to GitHub. I configure the GitHub mirror with a link to the official repo and disable issues.
Unfortunately, you can’t outright disable GitHub’s pull requests. I’ve seen plenty of orphaned PRs on repos that do tracking/review elsewhere and people just don’t read (or actively ignore) the provided contributor guidelines.
Worth noting, it’s also possible (and quite easy) to do this vice versa. When you want a private fork of a public repo on github, it can be useful to mirror it to a private repository on GitLab. GL will keep all commits up to date for you.
(Ironically, there is nothing comparable on GitHub’s platform. You cannot make a fork that keeps itself up to date, for example.)
Very interesting use case for the mirroring feature. It really is super helpful and powerful. Though currently pull mirrors show as activity contributions, so if you mirror a large, active project your commit activity graph will go through the roof (if you care about that sort of thing).
Interesting. I haven't looked at Actions at all yet but this is nifty. Previously I had seen people write their own GitHub bots to handle this sort of thing.
Unfortunately, you can’t outright disable GitHub’s pull requests. I’ve seen plenty of orphaned PRs on repos that do tracking/review elsewhere and people just don’t read (or actively ignore) the provided contributor guidelines.