997fd14c81
When merging a bunch of PRs at once, it is enough if the newest one gets deployed.
When merging a bunch of PRs at once, it is enough if the newest one gets deployed.