Bash command to fetch Pull Request with PR ID ( Only works with Github )

.bashrc

## Append this to bashrc file or zshrc file

fetch-pr(){
    if [ "$1" = "" ]
    then
        echo 'Plese Provide PR number as agrument.'
        echo 'For example, fetch-pr 47'
    else
        git fetch origin pull/$1/head:pr-$1 && git checkout pr-$1
    fi
}

## Example fetch-pr 352