doniphon
- Karma
- 7
- Created
- February 8, 2015 (11y ago)
- Submissions
- 0
citizen of the world
--
Porto, Portugal
-
getting persistent errors here when trying to submit / merging PRs via the API or the web UI in the last few hours. https://githubstatus.com/ hasn't any report of anomallies. YMMV. P.S. simple reproducer -…