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

What the title says

  • v1 09 Maret 2024