☰

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

What the title says

长期地址
遇到问题？请前往 GitHub 提 Issues。