github_merge: add option --all to merge all PR
[nit.git] / contrib / packages.ini
1