Pedro Pombeiro
|
27a12c7c59
|
Code cleanup
|
2018-02-13 15:51:00 +01:00 |
|
Pedro Pombeiro
|
9148a8c8ad
|
Harmonize logging messages
|
2018-02-09 22:51:02 +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 |