GitHib PRs are for technical discussions, not political or strategic or anything else that is not actually part of solvong the issue at hand. It just gets too complicated to mix those discussions in a forum that doesn't handle large discussions well.