• Kissaki@programming.dev
    link
    fedilink
    English
    arrow-up
    6
    ·
    1 day ago

    Looks like it’s just random commenters taking random guesses because those have happened before.

    What is a “repository reset”? One commenter writes:

    There was a temporary similar “outage” back in July with rewritten history, apparently something inappropriate was recorded in the repo history they wanted cleaned out. The repo came back after that. I have no idea if this is the same thing, or if they just got tired of maintaining it.

    Seems strange to me. You can prep locally and then force-push. I don’t see why rewriting history would require taking the repository down.

    • orygin@piefed.social
      link
      fedilink
      English
      arrow-up
      4
      ·
      21 hours ago

      Plus won’t the forks on GitHub keep the history before the “reset”?
      Afaik, forks on GitHub are basically the same underlying repository, just a branch associated with another user. They won’t be able to really purge anything from these other branches.
      Plus anyone who has a local copy of the repo or an automatic mirror somewhere else, will have the changes available.

      • Kissaki@programming.dev
        link
        fedilink
        English
        arrow-up
        1
        ·
        21 hours ago

        Yes, forks remain as they are. Yes, the fork network has a shared data repository on GitHub.

        Consequently, rewritten history will break history compatibility, possibly requiring manual fixups on forks or work based on it.

    • somewa@suppo.fi
      link
      fedilink
      arrow-up
      4
      ·
      23 hours ago

      If he pushed something he shouldn’t have online then taking it offline immediately makes a lot of sense.