How to Push and Pull from GitHub Pull Request Branches
GitHub has this cool feature where while opening a pull request one can allow the maintainers to push changes to that branch. This is a lot more ergonomic than suggesting larger-scale edits in the insufferably slow GitHub web UI. But it does require setting up remotes and upstream branches correctly.
→ Read more