The git checkout mode explorer button was missing the tooltip that the non-git and mobile variants already had via HeaderToggleButton.
The git checkout mode explorer button was missing the tooltip that the non-git and mobile variants already had via HeaderToggleButton.