Github manual merge

Changes the copy button at the top of a pull-request to copy a git command to pull to a pr branch

Från och med 2025-06-19. Se den senaste versionen.

Inga diskussioner har postats ännu.

Post a review, comment, or question

If you think this script is breaking Greasy Fork's rules, please report it for removal.

Sign in to post a review, comment, or question.