Pull request in QubesOS/qubes-doc disappeared

[GWeck]

In January, I added some text and slides intended to be included in the introductory material in the Qubes documentation. Until some days ago, the corresponding pull request #1609 was shown to be in review.

At the beginning of this week, GitHub had some problems with indexing, and now this pull request has disappeared. It is neither shown as open nor as closed.

Now I am asking myself if I should create a new pull request for entering this material, or if someone (@parulin ?) could look into it so that this does not get lost. I would not be a problem to create a new pull request, but I wish to avoid messing this up.

[qubist]

On Fri, 1 May 2026 01:46:28 -0700 (PDT) GWeck wrote:

> At the beginning of this week, GitHub had some problems with
> indexing, and now this pull request has disappeared. It is neither
> shown as open nor as closed.

I see it as open:

https://github.com/QubesOS/qubes-doc/pull/1609

[GWeck]

It seems that the GitHub index is still broken. Looking directly at #1609 shows it, but going to /pulls drops it. I hope they'll repair it soon.

[unman]

The API still shows it open, so that's something.

--
I never presume to speak for the Qubes team.
When I comment in the mailing lists I speak for myself.

[GWeck]

Seems to be a problem of the display software...

[GWeck]

The pull request has reappeared. So they seem to have fixed the index! :-)