| Summary: | GitHub mirrors are not updated since a month ago at least | ||
|---|---|---|---|
| Product: | [I don't know] kde | Reporter: | Ilya Fedin <fedin-ilja2010> |
| Component: | general | Assignee: | Unassigned bugs mailing-list <unassigned-bugs> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | bcooksley, nate |
| Priority: | NOR | ||
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed In: | ||
| Sentry Crash Report: | |||
|
Description
Ilya Fedin
2023-04-10 12:09:22 UTC
Ben, do you know if this is something we maintain? 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. Thanks Ben! |