in migration/src/github_issues_util.py [0:0]
def search_users(token: str, q: str, logger: Logger) -> list[str]:
url = GITHUB_API_BASE + f"/search/users?q={quote_plus(q)}"
headers = {"Authorization": f"token {token}", "Accept": "application/vnd.github.v3+json"}
res = requests.get(url, headers=headers)
time.sleep(SEARCH_INTERVAL_IN_SECONDS)
if res.status_code != 200:
logger.error(f"Failed to search users with query {q}; status_code={res.status_code}, message={res.text}")
return []
return [item["login"] for item in res.json()["items"]]