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

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください
作者
lordwelch
1日のインストール数
0
累計インストール数
4
評価
0 0 0
バージョン
2.4
作成日
2024/02/19
更新日
2025/06/19
大きさ
6.44KB
ライセンス
MIT
対象サイト

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

git fetch --force https://github.com/<user/org>/<project> +<branch_name>:<user/org>/<branch_name>-<pr_number>