[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Updating the “pre-push” Git hook
From: |
Efraim Flashner |
Subject: |
Re: Updating the “pre-push” Git hook |
Date: |
Sun, 24 May 2020 09:41:15 +0300 |
On Fri, May 22, 2020 at 10:44:48PM +0200, Ludovic Courtès wrote:
> Hello Guix!
>
> I think we should change our pre-push hook as shown below.
>
> Thoughts?
>
> Thanks,
> Ludo’.
>
(ins)efraim@E5400 ~$ type -P make
(ins)efraim@E5400 ~$ command -v make
I'd need to run 'guix environment --ad-hoc make -- git push'
--
Efraim Flashner <address@hidden> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature
Re: Updating the “pre-push” Git hook,
Efraim Flashner <=
Heads-up: “pre-push” Git hook updated, Ludovic Courtès, 2020/05/29