[kde] [Bug 468350] GitHub mirrors are not updated since a month ago at least

[Ben Cooksley]

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.