A helper script to link pull requests to issues on github
usage: gitlink [-h] [--help]
Simple script to link github pull requests to issues on git hub. We assume that the branch name is of the format xxx-branch-name where xxx is the issue number that the branch relates to.