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

2025-06-19 يوللانغان نەشرى. ئەڭ يېڭى نەشرىنى كۆرۈش.

ئاپتورى
lordwelch
باھا نومۇرى
0 0 0
نەشرى
2.4
قۇرۇلغان ۋاقتى
2024-02-19
يېڭىلانغان ۋاقتى
2025-06-19
Size
6.4 KB
ئىجازەتنامىسى
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>