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

What the title says

Автор
HappyViking
Установок в день
0
Всего установок
0
Оценки
0 0 0
Версия
1
Создан
09.03.2024
Обновлён
09.03.2024
Лицензия
MIT
Работает на

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