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