PRs are a necessary tool. Also comments on issues are a crucial part of the documentation for devs. "Looks like this does not work as documented" "Yes, this c

PRs are a necessary tool. Also comments on issues are a crucial part of the documentation for devs. "Looks like this does not work as documented" "Yes, this corner case is a bug, will be fixed soon, use this workaround in the meantime".