status-github-bot/scripts
Pedro Pombeiro 349223d669
Add `scripts/merge-pr.sh` script and move bot scripts to `bot_scripts` folder
2018-02-05 15:36:12 +01:00
..
merge-pr.sh Add `scripts/merge-pr.sh` script and move bot scripts to `bot_scripts` folder 2018-02-05 15:36:12 +01:00