3 pointsby stabbles6 hours ago2 comments

neilcookster4 hours ago
Exactly the same issue here - multiple PRs disappeared
verdverm5 hours ago
GitHub had issues with their Elasticsearch cluster yesterday, probably still having them it sounds like