git: do not show the 'resetting ...' message if HEAD and target are the same