githumerge: skip if already merged
[nit.git] / contrib / packages.ini
1