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

What the title says

Ainda não há discussões.

Publique uma avaliação, um comentário ou uma pergunta

Se você achar que esse script está quebrando as regras do Greasy Fork, por favor reporte-o para remoção.

Entre para publicar uma avaliação, um comentário ou uma pergunta.