git-fetchmr

#!/usr/bin/env python3
"""
usage: git fetchpr <PULL_REQUEST_ID>
  
Arguments:
  PULL_REQUEST_ID       The pull request id

  If an 'upstream' repository is configured this command can fetch unmerged pull requests to your local repository.

  The PULL_REQUEST_ID can be found in on Github upstream pull request page.
  After successful execution a new local branch called pr<PULL_REQUEST_ID> will be setup for you.

"""
from docopt import docopt
from subprocess import run


if __name__ == '__main__':
    arguments = docopt(__doc__, options_first=True)
    prid = int(arguments['<PULL_REQUEST_ID>'])
    run(['git', 'fetch', 'upstream', f'pull/{prid}/head:pr{prid}'], check=True)