[mananaysiempre]

Hint[1] in case you’re ever in this situation:

  echo '*.ml  linguist-language=OCaml' >> .gitattributes
  echo '*.mli linguist-language=OCaml' >> .gitattributes

[1] https://github.com/github/linguist/blob/master/docs/override...

[cgaebel]

Thank you for this. I've made the change, but it looks like it may be several days before github gets around to refreshing the language statistics.