Hello, Issue #2349 (apparently named "System Updates applet: connection errors") has gone missing!
https://github.com/QubesOS/qubes-issues/issues/2349 returns a 404 for me, archived here: https://archive.fo/MXBpT The issue also no longer shows up in the list where it would be expected: https://github.com/QubesOS/qubes-issues/issues?page=12&q=is%3Aissue&utf8=%E2%9C%93 Although it can still be seen referenced by name at the bottom of this issue: https://github.com/QubesOS/qubes-issues/issues/1378 Github does not appear to have a way to intentionally delete issuesI have not heard of this phenomenon before, and a quick google does not suggest it is common either. The github API for the issue also just returns: % curl https://api.github.com/repos/QubesOS/qubes-issues/issues/2349 { "message": "Not Found", "documentation_url": "https://developer.github.com/v3"; } I did not scrape all github issues in qubes-issues to see if there are others (didn't want to hammer them with ~2.5k requests and get banned or something), but maybe I should... I would have CC'd github support on this, but they do not provide an obvious email to use, so I will instead open a ticket pointing them to this thread as soon as a link to it is available via google groups. This also re-raises questions about using 3rd party services. By this I don't intend to re-open the arguments about trust, etc. but if we have been blindly assuming that at a minimum guarantees of availability will hold and they turn out not to... then perhaps it's time for several of us to start keeping local archives of e.g. our github repos, the mailing lists, etc.? Regards, Jean-Philippe -- You received this message because you are subscribed to the Google Groups "qubes-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-devel/CABQWM_DHMzYEA5NY-DRCSHPEaMLtSB0%2B6SYffdXhgM8fi7NhwQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
