contrib/github_merge: use `config` instead of `opts`
[nit.git] / contrib / github_merge /
drwxr-xr-x   ..
-rw-r--r-- 6204 github_merge.nit
-rw-r--r-- 331 package.ini