• dyc3@lemmy.world
    link
    fedilink
    arrow-up
    5
    arrow-down
    1
    ·
    6 hours 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
      arrow-up
      5
      ·
      6 hours 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.