This is a port from zsh's completion of git. Apparently it's the standard notation.