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

What the title says

As of 2024-03-09. See the latest version.

No discussions posted yet.

Post a review, comment, or question

If you think this script is breaking Greasy Fork's rules, please report it for removal.

Sign in to post a review, comment, or question.