coq/bot

Ensure calls to GitHub's REST API are sending the proper version header.

Opened this issue · 0 comments