|
From: | Leo Famulari |
Subject: | Re: Updating the “pre-push” Git hook |
Date: | Fri, 22 May 2020 17:17:10 -0400 |
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? Is it fast? :)
[Prev in Thread] | Current Thread | [Next in Thread] |