gitlab-ci: The repository is not being mirrored from GitHub to GitLab #5785

Open kmk3 opened 1 year ago

Before this week (2023-04-10), master was last updated on GitLab on 2022-12-12, by @Fred-Barclay:

And indeed the last pipeline that was executed before this week was triggered by that same commit:

But there was no pipeline executed for the next commit on master onwards:

That is, GitLab CI is not running every time master is updated on GitHub anymore; it hasn't been running for about 4 months.

Though it still runs normally on push if I manually push to master on GitLab:

How was the repository being mirrored?

Any idea why it stopped?

I assume that it could be related to the following:

Cc: @Fred-Barclay @reinerh

Also, going to the clipit commit on the GitHub log:

The checkmark shows this:

(icon) ci/gitlab/master - Pipeline passed on GitLab Details

And the icon on hover shows this:

GitLab.com (@gitlabhq) generated this status.

This GitLab CI entry is missing for newer commits in the GitHub log since then, even on commits that were manually pushed to GitLab's master:

netblue30 / firejail