Yes. I was thinking of a small project with my deploy scripts in it. That project would have some http endpoint that GitHub could post to. Then I could automatically run my build scripts.
I can think of a couple other ways to do this, but I think they could get messy...
I could have the git origin be on gitlab, then add another one on github. Then I have to push to both origins.
I could run a cronjob that automatically asks github if the code should be updated.
I could buy GitLab EE and use mirroring. (If work could find that money...)
And so on. But for something as small as this, I'd really rather keep it simple. And if CI can receive webhooks from github, that would be pretty simple.
I'm asking here because I couldn't find anything in the docs. I did find something about an api, if I remember correctly, but the docs were rather sparse. So I wondered if someone had figured out how to use the api to do what I just described. I kept the first first post short so that I wouldn't limit answers in any way. Like when customers say "I want this, this, and this." When they should be saying, "I want to do this. How should I do it?"