aboutsummaryrefslogtreecommitdiffstats
path: root/bot/bot.py (unfollow)
Commit message (Collapse)AuthorLines
2020-11-23Narrow down repository events that trigger a buildGravatar Sebastiaan Zeeff-1/+1
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".
2020-11-21Add a banner and fix the README a bit.Gravatar Leon Sandøy-2/+4