github_merge: add --status to filter out PR without success
[nit.git] / contrib / packages.ini
1