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

What the title says

Autor
HappyViking
Installationen heute
0
Installationen gesamt
0
Bewertungen
0 0 0
Version
1
Erstellt am
09.03.2024
Letzte Aktualisierung
09.03.2024
Größe
3,04 KB
Lizenz
MIT
Wird angewandt auf

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