kohsuke/github-api — pull request #17 by janinko (2012-08-31 14:11:53+00:00)
Title: Issues pull requests apiv3

**Overview**
I cleaned up GHIssue and GHPullRequest and make them relevant to api v3

Added SmallUser representing reference to user. In api this user is represented by:
```
"user": {
"login": "janinko",
"avatar_url": "https://secure.gravatar.com/avatar/bf8425ee432f7e9748f9e1c540a125ed?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-user-420.png",
"url": "https://api.github.com/users/janinko",
"gravatar_id": "bf8425ee432f7e9748f9e1c540a125ed",
"id": 644267
},
```

Added DetailedPullRequest - when retrieving pull request by id, it has more attributes then pull requests obtained by GHRepository.getPullRequests(). The attributes are:
```
merged_by - SmallUser
review_comments - int
additions - int
merged - boolean
mergeable - Boolean
deletions - int
mergeable_state - String ("unknown", "dirty", "clean")
changed_files - int
```

**Possible issues**
I'm not sure if change in b40677a3ca5fe8f614c55e53ee12d1305e227352 is OK. I changed return value of GHRepository.getPullRequest(int) from ``GHPullRequest`` to its subclass ``GHDetailedPullRequest``. IMO it shouldn't be causing any problems.