I have a main repo on GitHub that I mirror to GitLab using pull mirror. And I checked that checkbox about triggering the pull mirror.
I noticed when I push to GitHub, GitLab will update to latest code and run the pipeline in 1 hour or so. Is there a way it can be done on every push to GitHub?