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

What the title says

Autor
HappyViking
Denně instalací
0
Celkem instalací
0
Hodnocení
0 0 0
Verze
1
Vytvořeno
09. 03. 2024
Aktualizováno
09. 03. 2024
Size
3,0 KB
Licence
MIT
Spustit na

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