Slimming down the Travis noise during notifications