status-github-bot/scripts
Pedro Pombeiro c925586e0e
Update `merge-pr.sh` script
2018-08-14 14:56:10 +02:00
..
merge-pr.sh Update `merge-pr.sh` script 2018-08-14 14:56:10 +02:00
pre-push Pre Push Script (#25) 2018-07-09 14:01:46 +02:00