Merge: nitrpg: remove points if a PR is closed without merge
[nit.git] / tests / nitpick.args
1 --no-color -W test_advice_repeated_types.nit