Ludovic Courtès <ludo@gnu.org> writes:

> Hi,
>
> Andreas Enge <andreas@enge.fr> writes:
>
>> I tried yesterday, but made a mistake (forgot to push the unrebased
>> branch as core-packages-team-old3 first). Then when reverting the rebase
>> and trying to push, I realised I could not push a branch without
>> compiling it first. And this took me one hour on my old two core
>> machine! Much of this was spent in PO4 and POXREF.
>
> I don’t think you necessarily need to push the old branch first.
>
> Anyhow, let me know if you need help (or support :-)).

on ci.guix:

building of `/gnu/store/nbb9svpwh2zzqx92xcjbpjznia2mwvbb-gcc-mesboot-4.9.4.drv' timed out after 21600 seconds

I think gcc-mesboot might be necessary to set larger timeout properties.



>
> Thanks,
> Ludo’.