Tweak highlighting of git repo