in my experience, technical details have been figured out on a whiteboard before, and then it can happen that a PR is just going to be LGTM and merge. not all conversations happen on a PR system. people talk IRL too