diff options
| author |  Sebastiaan Zeeff <[email protected]> | 2020-11-23 21:45:29 +0100 |
|---|---|---|
| committer | Sebastiaan Zeeff <[email protected]> | 2020-11-23 21:45:29 +0100 |
| commit | 486a898d32693e0d5c35cd801e33d5dacbaa668e (patch) | |
| tree | 30a8aa05b9e9a6c77eb4f4d37f13f16ee5f368f1 /bot/exts | |
| parent | Add a banner and fix the README a bit. (diff) | |
Narrow down repository events that trigger a build
I've narrowed down repository events that trigger a Build to the "push"
event specifically. This means that we never build for a "pull request"
trigger, even if the source branch is called "master".
Diffstat (limited to 'bot/exts')
0 files changed, 0 insertions, 0 deletions