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

What the title says

Versión del día 09/03/2024. Echa un vistazo a la versión más reciente.

Autor
HappyViking
Calificaciones
0 0 0
Versión
1
Creado
09/03/2024
Actualizado
09/03/2024
Tamaño
3.04 KB
Licencia
MIT
Funciona en

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

长期地址
遇到问题?请前往 GitHub 提 Issues。