Unable to checkout pull request from unknown repository

[leandro-lucarella-sociomantic]

Trying to checkout a pull request which was created by a user that was but is not longer part of the repositories organisation crashes git-hub. In this case Github will say that the pull requests repo is unknown repository

$ git hub pull checkout ID
Traceback (most recent call last):
  File "/usr/bin/git-hub", line 2043, in <module>
    main()
  File "/usr/bin/git-hub", line 2037, in main
    args.run(parser, args)
  File "/usr/bin/git-hub", line 621, in check_config_and_run
    cmd.run(parser, args)
  File "/usr/bin/git-hub", line 1464, in run
    remote_url = pull['head']['repo'][config.urltype]
TypeError: 'NoneType' object has no attribute '__getitem__'

It still possible to checkout the pull request by git fetch REMOTE pull/ID/head:BRANCHNAME

[mihails-strasuns-sociomantic]

Is this still targeted for 0.10.2?

[leandro-lucarella-sociomantic]

I'll have a quick look, if it's trivial I'll try to fix it, otherwise I'll move.

[leandro-lucarella-sociomantic]

Mmm, is complicated to reproduce and it looks like a quite obscure case, I'll just move it.

[aspiers]

See also isaacs/github#168

[leandro-lucarella-sociomantic]

We actually don't need that info, we can check out using the special ref pull/ID/head.

https://help.github.com/articles/checking-out-pull-requests-locally/

[leandro-lucarella-sociomantic]

Oh, it was in the issue description 🤦‍♂️

[leandro-lucarella-sociomantic]

Fix attached.