GitHub Wrappers

Some wrappers for working with Github.

git_checkout_pull_request(pr = 1, remote = "origin", repo = ".")

Arguments

pr	number with PR to check out
remote	name of a remote listed in git_remote_list()
repo	a path to an existing repository, or a git_repository object as returned by git_open, git_init or git_clone.