Use the repo name in the response for fetch url.

The repository name of the pull request head doesn't necessarily match
the name of the project's repository. This can happen when a user forks
a project but already has a repository of the same name. Use the name
returned in the api response for the fetch url to avoid this edge case.
Merge pull request #514 from ivantsepp/379_merge_repo_name

Hub merge should use repo name from API
Fix docs about generated `checkout` command for pull request

Closes #517 [ci skip]
New commands: star, unstar, follow, unfollow.
New command: destroy.

Deletes a GitHub repo, with confirmation prompt.