Rutherther <[email protected]> writes:

>> What is the end-user situation when this happen?  What is the recovery
>> process?  Maybe that is worth documenting somewhere, since I suspect
>> this may happen again (for justifiable reasons).
>
> Could you clarify recovery process of what exactly? The end users of Guix
> weren't affected by the force push. They were affected by the commit
> that was there (couldn't `guix pull` and stopped being affected when
> force push happened (now they could `guix pull`).
>
> It's true that for example if you had the repo cloned, did `git pull`
> with a commit that doesn't authenticate, then there is a force push,
> afterwards `git pull` won't work anymore. Is this what you mean, is
> there more maybe?

Yes, I meant what happens if a user runs 'git pull' in this situation.
What the error messages are, and how to recover.  In case this happens
again, maybe a small example would help.  Given that my mirror is still
stuck on the broken commit, I can see if I can experiment with what
happens and how to recover for future reference.

/Simon

Attachment: signature.asc
Description: PGP signature

  • force pushing to ... Development of GNU Guix and the GNU System distribution.
    • Re: force pu... Andreas Enge
      • Re: forc... Development of GNU Guix and the GNU System distribution.
        • Re: ... Rutherther
          • ... Development of GNU Guix and the GNU System distribution.
            • ... Development of GNU Guix and the GNU System distribution.
              • ... Ludovic Courtès
    • Re: force pu... Rutherther
      • Re: forc... Development of GNU Guix and the GNU System distribution.
        • Re: ... Rostislav Svoboda
          • ... Tomas Volf
            • ... Rostislav Svoboda
              • ... Ricardo Wurmus
                • ... Rostislav Svoboda
                • ... Development of GNU Guix and the GNU System distribution.

Reply via email to