github-pullrequest-resource
github-pullrequest-resource copied to clipboard
Config should include the head repo name
This implements #194. It's just a simple addition of the HTTP response's ['head']['repo']['full_name'] to the git config and the .git folder as repo.