4 ms·

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 G

• brodock 7y ago
  looks like you can use Actions for that: https://github.com/marketplace/actions/close-pull-request https://github.com/marketplace/actions/close-pull-request
  • mroche 7y ago
    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.
• chatmasta 7y ago
  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.) Here is how to do it: https://gist.github.com/milesrichardson/b00e2623e5f4427ec192b1f632c3c7dc https://gist.github.com/milesrichardson/b00e2623e5f4427ec192...
  • mroche 7y ago
    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).