github_merge: add --status to filter out PR without success
[nit.git] / contrib / wiringPi / lib /
drwxr-xr-x   ..
-rw-r--r-- 5172 wiringPi.nit