Did you successfully setup pull mirroring between GitHub and GitLab, but are disappointed to see changes only get synced every 30 minutes? Luckily, GitLab does support automatically pulling on every push to GitHub, it's just a bit hidden in their docs 😅 In my case,