The bot could check that the PR title to starts with [FLINK-X] or [hotfix].
On 13.02.2019 10:29, Robert Metzger wrote:
Hey all, the flinkbot has been active for a week now, and I hope the initial hiccups have been resolved :) I wanted to start this as a permanent thread to discuss problems and improvements with the bot. *So please post here if you have questions, problems or ideas how to improve it!*
