github

Updated: 22 January 2025

Fetch a Pull Request to your local repository

git fetch origin pull/<pull request id>/head:any_branch_name