• @[email protected]
    link
    fedilink
    111 month 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
      21 month 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.