Pre-push authentication hook doesn’t cope with ‘git push --tags’

Details

One participant

Ludovic Courtès wrote 8 months ago

Recipients:(address . bug-guix@gnu.org)

Message-ID:87frsh57la.fsf@inria.fr

Hi,

Just noticed that the pre-push hook installed by ‘guix git authenticate’

fails when running ‘git push --tags’:

Toggle snippet (5 lines)

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'

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

Ludo’.

Your comment

Commenting via the web interface is currently disabled.

To respond to this issue using the mumi CLI, first switch to it

mumi current 72044

Then, you may apply the latest patchset in this issue (with sign off)

mumi am -- -s

Or, compose a reply to this issue

mumi compose

Or, send patches to this issue

mumi send-email *.patch

You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags

mumi command -t +confirmed -t +easy

Or, remove the moreinfo tag and set the help tag

mumi command -t -moreinfo -t +help