github_merge: add option --all to merge all PR
[nit.git] / contrib / nitrpg / www /
2015-02-04 Alexandre Terrasacontrib/nitrpg: introduce the tool that run the website