From: Jean Privat Date: Mon, 15 Jul 2019 15:07:20 +0000 (-0400) Subject: Merge: github: Summer cleaning X-Git-Url: http://nitlanguage.org?hp=-c Merge: github: Summer cleaning Some cleaning to the `github` lib. Most interesting changes: * kill `github_curl` and migrate clients (`github_merge`, `github_search_for_jni`) * clean deserialization process heuristics for something more robust and readable (but a bit slower) * array pagination * kill `GithubEntity` * remove ISO date methods * mock testing for `github::wallet` * `wallet` uses a `Logger` This PR can be read commit by commit. Pull-Request: #2765 Reviewed-by: Jean Privat --- 7e60aa9571abf9b2616bdd04c93a62ee2081a661