Hi, Efraim Flashner <[email protected]> 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’.
