Mark H Weaver <m...@netris.org> writes:
> rek...@elephly.net (Ricardo Wurmus) writes:
>
>> rekado pushed a commit to branch core-updates
>> in repository guix.
>>
>> commit 87096247567ac0d4aac3fc5a7a1e150d307c5b80
>> Merge: 116ca65 5e6bd3e
>> Author: Ricardo Wurmus <rek...@elephly.net>
>> Date: Wed Jun 6 23:01:48 2018 +0200
>>
>> Merge branch 'origin/core-updates-next' into core-updates
>
> Umm, did you intend to push this to the 'core-updates' branch on
> Savannah? Core-updates has been frozen for months, and is almost
> completely built by Hydra. It looks like this would entail rebuilding
> the entire branch from scratch again.
>
> I would say that we should revert this, but it's not obvious to me how
> to revert a merge.
Based on the assumption that this must have been a mistake, I deleted
the branch and re-pushed it from just before 'core-updates-next' was
merged into it.
Mark
