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

Ниже показаны версии этого скрипта, в которых изменялся код. Показать все версии.