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’.