Re: Heads-up: “pre-push” Git hook updated

Hi, Vagrant Cascadian skribis: > On 2020-05-29, Ludovic Courtès wrote: >> Ludovic Courtès skribis: >> >>> I think we should change our pre-push hook as shown below. >> >> I’ve pushed it in e65a44649e8d7698c4a888f1de625a67052520e9. >> To all committers: please do use it from now on: >> >> cp

Re: Heads-up: “pre-push” Git hook updated

On 2020-05-29, Ludovic Courtès wrote: > Ludovic Courtès skribis: > >> I think we should change our pre-push hook as shown below. > > I’ve pushed it in e65a44649e8d7698c4a888f1de625a67052520e9. > To all committers: please do use it from now on: > > cp etc/guix/pre-push .git/hooks/ > > If you

Re: Heads-up: “pre-push” Git hook updated

Ludovic Courtès writes: > Hi, > > Christopher Baines skribis: > >> So, I think make authenticate dislikes the naming I use for Git remotes, >> in particular I don't have an origin remote. >> >> → make authenticate >> Compiling Scheme modules... >> Authenticating Git checkout... >>

Re: Heads-up: “pre-push” Git hook updated

Hi, Christopher Baines skribis: > So, I think make authenticate dislikes the naming I use for Git remotes, > in particular I don't have an origin remote. > > → make authenticate > Compiling Scheme modules... > Authenticating Git checkout... > Authenticating d68de95 to 776409c (0 commits)... >

Re: Heads-up: “pre-push” Git hook updated

Ludovic Courtès writes: > Hi! > > Ludovic Courtès skribis: > >> I think we should change our pre-push hook as shown below. > > I’ve pushed it in e65a44649e8d7698c4a888f1de625a67052520e9. > To all committers: please do use it from now on: > > cp etc/guix/pre-push .git/hooks/ > > If you never

Heads-up: “pre-push” Git hook updated

Hi! Ludovic Courtès skribis: > I think we should change our pre-push hook as shown below. I’ve pushed it in e65a44649e8d7698c4a888f1de625a67052520e9. To all committers: please do use it from now on: cp etc/guix/pre-push .git/hooks/ If you never run “make authenticate” before, the first run