Fix local PRs merging in the tap