IMO, just add all of the commits here and commit the whole thing in one
push.  Otherwise you're going to be forcing people to update PRs multiple
times, which will surely be annoying.