Now that Github doesn't allow converting issues into PRs, let's start
with a PR. The alternative ends up spreading conversation over two
Github pages (e.g., #130 and #131).
John, r? since you were pretty instrumental in setting up the current process. If there are others you'd like to r? as well, please add them :)
Now that Github doesn't allow converting issues into PRs, let's start with a PR. The alternative ends up spreading conversation over two Github pages (e.g., #130 and #131).
John, r? since you were pretty instrumental in setting up the current process. If there are others you'd like to r? as well, please add them :)