github_search_for_jni: Migrate to new Github API
authorAlexandre Terrasa <alexandre@moz-code.org>
Tue, 9 Jul 2019 03:14:48 +0000 (23:14 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Fri, 12 Jul 2019 00:41:41 +0000 (20:41 -0400)
commit05db8dfad5e9afe7c9c759004487a95c2d5b2bf4
tree3a506af0dbd0ac128bc7d931f60e5700ce9a2fc0
parentf769867a12712feca751d7afd69d08a1dac7658c
github_search_for_jni: Migrate to new Github API

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
contrib/github_search_for_jni/src/github_search_for_jni.nit