On Mon, May 25, 2020 at 01:13:16PM -0700, Vagrant Cascadian wrote:
> Wait a minute... you're saying this is something that needs to be
> configured on each committer's machine(s)?
Yes, it was recommended in HACKING and then, after we removed that file,
in the Commit Access section of the manual.
Hi,
Ricardo Wurmus skribis:
> Ludovic Courtès writes:
>
>> Could you try:
>>
>> mv ~/.cache/guix/authentication/channels/guix{,.bak}
>> time make authenticate
>> mv ~/.cache/guix/authentication/channels/guix{.bak,}
>>
>> ?
>
> real 0m49.496s
> user 0m43.733s
> sys 0m1.658s
Same
Hi!
Vagrant Cascadian skribis:
> On 2020-05-24, Ludovic Courtès wrote:
>> Efraim Flashner 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?
> ...
>>>
Efraim Flashner skribis:
> I'd probably run 'guix environment guix -- git push origin master' and
> view it as an additional safe guard to not push to the wrong branch or
> something, similar to how I view the password on the key. I bet there's
> an option to create a repo-specific alias in
On 2020-05-24, Ludovic Courtès wrote:
> Efraim Flashner 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?
...
>> (ins)efraim@E5400 ~$ type -P make
>> (ins)efraim@E5400
Ludovic Courtès writes:
> Could you try:
>
> mv ~/.cache/guix/authentication/channels/guix{,.bak}
> time make authenticate
> mv ~/.cache/guix/authentication/channels/guix{.bak,}
>
> ?
real0m49.496s
user0m43.733s
sys 0m1.658s
And then running it again:
On Sun, May 24, 2020 at 11:45:34PM +0200, Ludovic Courtès wrote:
> Hi,
>
> Efraim Flashner 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?
> >>
> >>
Hi,
Efraim Flashner 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
Hi,
Ricardo Wurmus skribis:
> Leo Famulari writes:
>
>> 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? :)
>
> This depends on how many commits you have
Leo Famulari writes:
> 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? :)
This depends on how many commits you have previously authenticated. But
even the slow
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
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? :)
Hello Guix!
I think we should change our pre-push hook as shown below.
Thoughts?
Thanks,
Ludo’.
diff --git a/etc/git/pre-push b/etc/git/pre-push
index 9206a2dfe5..415345fc75 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -1,7 +1,8 @@
#!/bin/sh
# This hook script prevents the user
13 matches
Mail list logo
