HEAD@git
To me, green looks less distracting. Also, we mostly use bright colors for the working copy commit. This follows up on #1844.