[ci] Disable the just added bot Doesn't play well with CircleCI apparently https://circleci.com/gh/harfbuzz/harfbuzz/74289
2019-02-08T15:30:17