MarcoFalke: would it be possible for you to have DrahtBot check for silent merge conflicts? the ones where git doesn't have a merge conflict but merging results in a compilation or test failure?
achow101: doesn't Travis already check t hat?
luke-jr: only upon a new push
luke-jr: only on a new push to the branch for the pr
perhaps it would be possible to make travis rebuild every pr for every new push to master, but I don't think travis would like to rebuild 200+ prs for every push to master