• Kissaki@programming.dev
      link
      fedilink
      English
      arrow-up
      5
      ·
      13 hours 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
        ·
        8 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
          ·
          8 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
        ·
        10 hours ago

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