github_merge: add option --all to merge all PR
[nit.git] / contrib / packages.ini
2015-09-09 Jean Privatcode: rename `project[s].ini` files as `package[s]...