Travis changes-entry test: take github labels into account
Travis changes-entry test: take github labels into account

See the discussion at #923
  https://github.com/ocaml/ocaml/pull/923

yunxing/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,yunxing/ocaml,yunxing/ocaml,msprotz/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml