Like much of the rest of the open source developing world, we use github.com to host all of our open source code. We've decided that code-review via github Pull Request (PR) works well for our team, using the typical feature-branch, 2nd party merge PR workflow. However, I find it to be a bit of a speed bump for very small, direct bug fixes. In other projects, "senior developers" would tend to just fix those directly on master, but for the culture on this project, that just feels wrong. The process of creating a special purpose branch, committing to it, and pushing it upstream is easy enough. It's only the last step, creating tha actual PR, that requires switching focus to a web browser, finding the right page, typing in the description, and then creating the PR.