Forked from piscisaureus
To identify one particular pull request, find the pull request number on the Azure DevOps site:
Then fetch and checkout the pull request in a local branch named pull/137
Forked from piscisaureus
To identify one particular pull request, find the pull request number on the Azure DevOps site:
Then fetch and checkout the pull request in a local branch named pull/137