5 Commits

Author SHA1 Message Date
Pedro Pombeiro
27a12c7c59
Code cleanup 2018-02-13 15:51:00 +01:00
Pedro Pombeiro
499f20f723
Use configuration from repo file .github/github-bot.yml 2018-02-09 10:19:02 +01:00
Pedro Pombeiro
29ac60f3b3
Code cleanup 2018-02-07 22:37:00 +01:00
Pedro Pombeiro
e8dbc4070e
Use cleared nomenclature for GH responses 2018-02-05 17:12:16 +01:00
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