Fix or mitigate lengthy delays with CI GitHub integration
Description
I've been working on using Gitlab CI (my project's at https://gitlab.com/magda-data/magda) with my Github project (https://github.com/TerriaJS/magda), but given that the integration relies on mirroring the Github repo to Gitlab, there can sometimes be a big delay between pushing an update and having the build pipeline actually start (I've seen up to 25 minutes waiting for a sync before the pipeline starts).
The delay between pushing code and having the build start is annoying to start with, but what makes it worse is that the Gitlab CI check on the GitHub PR:
Doesn't actually show up until the build starts, which means that a PR that breaks the build might spend 25 minutes with a tick next to it because the Gitlab build hasn't started yet. If a new commit gets pushed to the PR, the Gitlab CI check actually disappears.
Proposal
- Most simply, is it possible to show a yellow (in progress) Gitlab CI check indicator on a Github PR as soon as a new commit is pushed, even if the repository is still syncing?
- Better yet would be fixing the problem directly - decoupling the Gitlab pipeline from the Gitlab repository, so that the runners can pull from Github instead of Gitlab, removing the need to wait for the sync to finish.
- Or just somehow making the sync much much faster so that there's no latency?
/label ~"feature proposal"