☰

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

A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.