Post #2471791

@filippo@abyssdomain.expert I'm sure there's lots of flakiness happening at GitHub given all their news. But at least when I checked, the PR showed up in the list following your second link. Hopefully that means it's eventually consistent and now fixed, and not that there's a bad server you're hitting.