nitrpg: remove points if a PR is closed without merge
authorAlexandre Terrasa <alexandre@moz-code.org>
Wed, 10 Jun 2015 17:52:17 +0000 (13:52 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Wed, 10 Jun 2015 17:52:17 +0000 (13:52 -0400)
commit5382eded1f6f9bab7eb171bcf5d6bd697a9fd581
treebc334b56b9f196b581d49d84039613bb5705befb
parentd77539e67599b049607518b54210d468bb685d6c
nitrpg: remove points if a PR is closed without merge

So @ventilooo won't cheat again!

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
contrib/nitrpg/src/reactors.nit