github_search_for_jni: Migrate to new Github API
[nit.git] / contrib / github_merge / man /
drwxr-xr-x   ..
-rw-r--r-- 477 github_merge.man