@filippo@abyssdomain.expert definitely saw PRs disappearing on my repos the other day. They did come back eventually.