Re: Pure space

[Pip Cet <pipcet@protonmail.com>]

"Andrea Corallo" <acorallo@gnu.org> writes:

> Pip Cet <pipcet@protonmail.com> writes:
>
>> "Stefan Kangas" <stefankangas@gmail.com> writes:
>>
>>> Pip Cet <pipcet@protonmail.com> writes:
>>>
>>>> Pure space and unexec aren't closely related at all, and the rebased
>>>> scratch/no-purespace branch, after some tedious fixes, starts fine when
>>>> configured with --with-dumping=unexec.
>>>
>>> Could you please push the rebased branch to Savannah?
>>
>> Sure, if someone could point me to the right way to do it.  "git push
>> --force-with-lease" refuses to update scratch/no-purespace, so should I
>> delete it and recreate it?
>
> Yes, you can delete scratch/no-purespace and push it again.

Done, thanks! I'll clean up the commit messages next, assuming we don't
reach a consensus to keep unexec and purespace for now.

Pip