PRs to the standard library aren’t merged manually using GitHub’s UI or by pushing remote branches. Everything goes through
You can approve a PR with:
For Libs PRs, rolling up is usually fine, in particular if it's only a new unstable addition or if it only touches docs. See the rollup guidelines for more details on when to rollup.