Add banner to github PRs for easier copying of the PR's head ref

What the title says

当前为 2024-03-09 提交的版本，查看最新版本。