[qubes-users] Pull request in QubesOS/qubes-doc disappeared

Mailing Lists qubes-users
1

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.

2

I see it as open:

3

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.

4

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

5

Seems to be a problem of the display software…

6

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