
joel
2021-10-8 01:34:02
It would be nice if GitHub’s code highlighter would not get so tripped up by here-strings

sorawee
2021-10-8 01:40:15
@soegaard2’s https://github.com/soegaard/racket-highlight-for-github is the highlighter for GitHub, I believe. Feel free to submit a PR


joel
2021-10-8 01:42:03
Oh wow, haha. I’ll take a look! I just assumed they were using pygments still, or some other in-house thing.

jcoo092
2021-10-8 02:05:24
I would have made a similar assumption ¯_(ツ)_/¯

sorawee
2021-10-8 02:40:45
They use linguist: https://github.com/github/linguist
But you can see from https://github.com/github/linguist/blob/master/.gitmodules#L90 that it just downloads highlight rules from other places