• Kissaki@programming.dev
    link
    fedilink
    English
    arrow-up
    7
    ·
    2 days 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
      ·
      2 days 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.

    • somewa@suppo.fi
      link
      fedilink
      arrow-up
      4
      ·
      2 days ago

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