.gitconfig: remove pretty.hot

Doesn't look like the code is going to be merged anytime soon.