Bug 468350 - GitHub mirrors are not updated since a month ago at least
Summary: GitHub mirrors are not updated since a month ago at least
Status: RESOLVED FIXED
Alias: None
Product: kde
Classification: I don't know
Component: general (show other bugs)
Version: unspecified
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: Unassigned bugs mailing-list
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-04-10 12:09 UTC by Ilya Fedin
Modified: 2023-04-11 14:15 UTC (History)
2 users (show)

See Also:
Latest Commit:
Version Fixed In:
Sentry Crash Report:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ilya Fedin 2023-04-10 12:09:22 UTC
SUMMARY
I'm not sure where I should report such a thing, but at least these repositories had no update since at least a month ago:
https://github.com/KDE/kcoreaddons.git
https://github.com/KDE/kimageformats.git
https://github.com/KDE/plasma-wayland-protocols.git
Comment 1 Nate Graham 2023-04-10 19:36:16 UTC
Ben, do you know if this is something we maintain?
Comment 2 Ben Cooksley 2023-04-11 10:18:14 UTC
Yes we do maintain this on a best-effort basis. GitHub is not under any circumstance to be considered a primary source to retrieve KDE code from under any circumstances.

Did some diagnosing and turns out that our sync scripts weren't detecting that the "git push --porcelain" to GitHub was failing. The cause of that is GitHub deciding to kill their host keys after they leaked them (sigh). I've rotated ~/.ssh/known_hosts on the server and repositories on GitHub will sync as they are next pushed to on invent.kde.org.
Comment 3 Nate Graham 2023-04-11 14:15:39 UTC
Thanks Ben!