GitHub now supports stacked PRs

GitHub now supports stacked pull requests, simplifying the management of dependent changes within a single repository. To adopt, create a base PR and then add d