- From: Aryeh Gregor <web-platform-tests-notifications@w3.org>
- Date: Thu, 27 Oct 2016 10:58:23 GMT
- To: public-web-platform-tests-notifications@w3.org
@foolip I already looked at all closed PRs sorted by last update time, opened them all in my browser, and restored branch/reopened on all of them manually (which was faster than writing a script would have been). I don't know how I missed this one -- now I see a few more I missed. Problem is, GitHub doesn't let me restore the branch anymore AFAICT, and I don't have the hashes of the commits to restore them manually. I see that there's some type of events API, but it doesn't seem to go back far enough. I don't understand why GitHub doesn't make the reflog accessible online. Surely it must be common enough that someone deletes a repo by mistake? View on GitHub: https://github.com/w3c/web-platform-tests/pull/4071#issuecomment-256610685
Received on Thursday, 27 October 2016 10:58:34 UTC