Three commits I had locally for github-merge.py:
- Detailed reporting for http errors in github-merge: Print detailed error, this makes it easier to diagnose github API issues.
- Add support for http[s] URLs in github-merge: Sometimes it can be useful to use github-merge with read-only access (say, for reviewing and testing from untrusted VMs).
- Allow use of github API authentication in github-merge: The API request limit for unauthenticated requests is quite low. I started running into rate limiting errors. The limit for authenticated requests is much higher. This patch adds an optional configuration setting
user.ghtokenthat, when set, is used to authenticate requests to the API.