We should publicize the trick for auto-closing PRs and encourage it