9d25bbe951
Store Slack IDs instead of user names
2018-02-06 22:23:08 +01:00
dc250d6d52
Implement rudimentary version of dynamic Slack to GitHub ID username mapping. Part of #12
2018-02-04 19:26:57 +01:00
bf14c32d9d
Fix linting issues. Add `eslint` package
2018-01-28 09:41:40 +01:00
038944f361
Make the functionality to move a PR to test a scheduled task, instead of an event handler
...
Sidesteps the problem that a build will still be running when we get the event, and therefore we'll never be in a position where all checks have passed
2018-01-24 01:04:49 +01:00
a5f4354743
Code cleanup
2018-01-23 17:00:27 +01:00
b01aae82a4
Add default `github-bot.yml` config
2018-01-22 18:47:23 +01:00
Pedro Pombeiro