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? :)
- Updating the “pre-push” Git hook Ludovic Courtès
- Re: Updating the “pre-push” Git hook Leo Famulari
- Re: Updating the “pre-push” Git hook Ricardo Wurmus
- Re: Updating the “pre-push” Git hook Ludovic Courtès
- Re: Updating the “pre-push” Git hook Ricardo Wurmus
- Re: Updating the “pre-push” Git ho... Ludovic Courtès
- Re: Updating the “pre-push” Git hook Efraim Flashner
- Re: Updating the “pre-push” Git hook Ludovic Courtès
- Re: Updating the “pre-push” Git hook Efraim Flashner
- Re: Updating the “pre-push” Git hook Ludovic Courtès
- Re: Updating the “pre-push” Git hook Vagrant Cascadian
- Re: Updating the “pre-push” Git hook Ludovic Courtès
