[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Updating the “pre-push” Git hook
From: |
Ludovic Courtès |
Subject: |
Re: Updating the “pre-push” Git hook |
Date: |
Sun, 24 May 2020 23:45:34 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi,
Efraim Flashner <address@hidden> skribis:
> 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'
You’d need to run ‘git push’ from a full Guix development environment.
Do you think it could be a problem?
Thanks,
Ludo’.
Re: Updating the “pre-push” Git hook, Efraim Flashner, 2020/05/24
Heads-up: “pre-push” Git hook updated, Ludovic Courtès, 2020/05/29