githumerge: skip if already merged
[nit.git] / contrib / nitc
1 ../src