Fix pull request diff retrieval for private repositories using GitHub's REST API#745

haesleinhuepf merged 2 commits into

mainhaesleinhuepf/git-bob:mainfrom

git-bob-mod-tMa40hpcJ3haesleinhuepf/git-bob:git-bob-mod-tMa40hpcJ3Copy head branch name to clipboard