[kde] [Bug 468350] GitHub mirrors are not updated since a month ago at least
Ben Cooksley
bugzilla_noreply at kde.org
Tue Apr 11 11:18:14 BST 2023
https://bugs.kde.org/show_bug.cgi?id=468350
Ben Cooksley <bcooksley at kde.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|REPORTED |RESOLVED
--- Comment #2 from Ben Cooksley <bcooksley at kde.org> ---
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.
--
You are receiving this mail because:
You are the assignee for the bug.
More information about the Unassigned-bugs
mailing list