• @[email protected]
      link
      fedilink
      105 days ago

      Bugzilla is still where they are managing bug reports and contributions will still go through (I think) phabricator. Note the lack of Issues and Pull Request tabs on the GitHub repo. This is more just a change of hosting than anything.

      • @[email protected]
        link
        fedilink
        24 days ago

        Yeah this is just a code mirror. There’s a GitHub action to automatically close PRs with a message directing people to the right place.