Push the current branch and open a GitHub pull request whose description follows .github/PULL_REQUEST_TEMPLATE.md.