When issuing pull requests, pull requests seem to have /pull/ as the issue_url. Allow both types to appear.

Roger Hu · Roger Hu · commit 466ae5c400ef · 2013-09-07T16:57:57.000Z
diff --git a/github3/pulls.py b/github3/pulls.py
@@ -183,7 +183,7 @@ def __init__(self, pull, session=None):
         #: GitHub.com url for review comments (not a template)
         self.review_comments_url = pull.get('review_comments_url')
 
-        m = match('https://[\w\d\-\.\:]+/(\S+)/(\S+)/issues/\d+',
+        m = match('https://[\w\d\-\.\:]+/(\S+)/(\S+)/(?:issues|pull)?/\d+',
                   self.issue_url)
         #: Returns ('owner', 'repository') this issue was filed on.
         self.repository = m.groups()
