aboutsummaryrefslogtreecommitdiff
path: root/.mention-bot
AgeCommit message (Expand)Author
2016-10-01[mention-bot] set delayed to false as it doesn't seem to do anything at allMartijn Kaijser
2016-10-01[mention-bot] delay commenting on PRs in casethey get merged directlyMartijn Kaijser
2016-09-24[mention-bot] Correct typoh.udo
2016-09-23Mention-Bot: change kodi to KodiMartijn Kaijser
2016-09-19Mention-Bot: names are case sensitiveMartijn Kaijser
2016-09-19Mention-Bot: Config File should be proper jsonfritsch
2016-09-19Mention-Bot: Let's use a more sensible defaultfritsch