I totally agree that stack PRs are a good idea. It's how Git was meant to be used (see the Linux kernel's development process). The problem is, they're a pain

I totally agree that stack PRs are a good idea. It's how Git was meant to be used (see the Linux kernel's development process). The problem is, they're a pain to work with in GitHub and so only a very small number of people end up learning how to work with them.