github_merge: add --status to filter out PR without success
[nit.git] / contrib / simplan / simplan.sablecc
2015-08-05 Jean Privatcontrib: add a simple planner that use lib/ai