bug#72044: Pre-push authentication hook doesn’t cope with ‘git push --tags’

[Ludovic Courtès]

Hi,

Just noticed that the pre-push hook installed by ‘guix git authenticate’
fails when running ‘git push --tags’:

--8<---------------cut here---------------start------------->8---
  1 git … push origin --tags
guix git: [1;31merror: [0mGit error: the requested type does not match the type 
in the ODB
error: failed to push some refs to 'ssh://git.sv.gnu.org/srv/git/shepherd.git'
--8<---------------cut here---------------end--------------->8---

Not sure how the hook can determine it’s pushing tags.

Ludo’.