Subject: Re: [bug#42868] [PATCH] maint: Only run `make authenticate` when pushing commits.

From: Ludovic Courtès <[email-masked]>
Date: Sun, 30 Aug 2020 21:47:59 +0200

Hi,

Leo Famulari <[email-masked]> skribis:

> When deleting a remote branch, no commits are pushed to the remote, and
> thus there are no signatures to be verified.
>
> * etc/git/pre-push: Exit early when deleting a branch.

I agree with Jakub regarding the ‘if’ :-), but other than that it LGTM.

Thanks!

Ludo’.