Like I said, it’s totally upto the project owners to decide how they want to interface with the community. But the concrete result of that decision was just to

Like I said, it’s totally upto the project owners to decide how they want to interface with the community. But the concrete result of that decision was just to move the discussion to a GitHub issue on another repo.