WPT PR Recovery

reopen-wpt-prs.py

#!/usr/bin/env python3

import json
import requests

with open("github-credentials.json", "r") as f:
    creds = json.load(f)

prs = open("pr-list", "r")
with open("pr-errors", "w") as err:
    for line in prs:
        pr = line.strip()
        url = "https://api.github.com/repos/web-platform-tests/wpt/pulls/" + pr

        r = requests.patch(url,
                           json={"state": "open"},
                           auth=(creds['user'], creds['token']))
        if r.status_code == 200:
            print("SUCCESS: %s" % pr)
        else:
            print("ERROR[%d]: %s" % (r.status_code, pr))
            err.write(pr + "\n")

For the record, pr-list is https://paste.mozilla.org/iZEOZi3A/raw