mirror of
https://github.com/netblue30/firejail.git
synced 2026-05-15 14:16:14 -06:00
[GH-ISSUE #5785] gitlab-ci: The repository is not being mirrored from GitHub to GitLab #3092
Labels
No labels
LTS merge
LTS merge
bug
bug
converted-to-discussion
doc-todo
documentation
duplicate
enhancement
file-transfer
firecfg
firejail-in-firejail
firetools
graphics
help wanted
information_old
installation
invalid
modif
moved
needinfo
networking
notabug
notourbug
old-version
overlayfs
packaging
profile-request
pull-request
question
question_old
removal
runtime-permissions
sandbox-ipc
security
stale
wiki
wiki
wontfix
wordpress
workaround
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/firejail#3092
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @kmk3 on GitHub (Apr 13, 2023).
Original GitHub issue: https://github.com/netblue30/firejail/issues/5785
Background
Before this week (2023-04-10), master was last updated on GitLab on 2022-12-12,
by @Fred-Barclay:
f99a29634("clipit hardening (#5521)", 2022-12-12)And indeed the last pipeline that was executed before this week was triggered
by that same commit:
f99a29634("clipit hardening (#5521)", 2022-12-12)But there was no pipeline executed for the next commit on master onwards:
365ac8544("Fix whitelisting for wusc (#5526)", 2022-12-14)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:
99a1006cf("RELNOTES: bump release date to fix gitlab ci", 2023-04-10)Questions
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
@kmk3 commented on GitHub (Apr 13, 2023):
Also, going to the clipit commit on the GitHub log:
f99a29634("clipit hardening (#5521)", 2022-12-12)The checkmark shows this:
And the icon on hover shows this:
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:
0554f6d76("Merge pull request #5777 from hotcapy/patch-1", 2023-04-11)