I just noticed that we had at least one pull request go missing after the github crash(es) this week.

Out of curiosity did anyone else lose something and in that case what did you lose?