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

What the title says

Auteur
HappyViking
Nombre d'installations quotidiennes
0
Nombre d'installations
0
Évaluations
0 0 0
Version
1
Créer
2024-03-09
Mis à jour
2024-03-09
Taille
3,04 ko
Licence
MIT
S'applique à

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