Hi everyone, this is an update on recent changes to the CI bot.
The bot now cancels builds if a new commit was added to a PR, and cancels all builds if the PR was closed. (This was implemented a while ago; I'm just mentioning it again for discoverability)
Additionally, starting today you can now re-trigger a Travis run by writing a comment "@flinkbot run travis"; this means you no longer have to commit an empty commit or do other shenanigans to get another build running. Note that this will /not/ work if the PR was re-opened, until at least 1 new build was triggered by a push.
