• @dyc3@lemmy.world
    link
    fedilink
    610 months ago

    They aren’t moving, it’s a code mirror. Everyone seems to be misreporting this. There’s a GitHub action to auto close PRs.

    • @FizzyOrange@programming.dev
      link
      fedilink
      1410 months ago

      It’s not a mirror. It’s the primary repository. And yes unfortunately they aren’t accepting PRs or using it for issue tracking, but it’s a start.

        • @ilinamorato@lemmy.world
          link
          fedilink
          5
          edit-2
          10 months ago

          In your defense, Mozilla did have a read-only mirror on GitHub for a while. I assume it’s the same repo, they’ve just repurposed it.