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

What the title says

Autore
HappyViking
Installazioni giornaliere
0
Installazioni totali
0
Valutazione
0 0 0
Versione
1
Creato il
09/03/2024
Aggiornato il
09/03/2024
Dimensione
3,04 KB
Licenza
MIT
Applica a

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