I have a GitHub issue related to pygments. As you know GitHub uses pygments as a source code highlighting engine.
I tried to highlight
pygmentize tool in virtual environment and the last version from PyPi (seems to be 1.5) has the same issue as GitHub. You could try it locally using the next command
$ curl https://raw.github.com/ming13/dotfiles/master/git/.gitconfig | pygmentize -l ini -f terminal256
The interesting thing is that when I’m trying to reproduce this thing using online demo Git config is painted correctly.
It would be helpful to hear your opinion. Maybe I should change my GitHub issue to something like “Git configs shouldn’t use
INI syntax highlighter”.