fix bugs with fetching GitHub PRs (#162)

Author: danvk

README.md

@@ -54,7 +54,7 @@ You can pass all the same arguments that you would to `git diff`, e.g.
 You can also use `webdiff` to view GitHub pull requests:
 
     webdiff https://github.com/owner/repo/pull/123
-    webdiff #123  # if you're in a git repo with a github remote
+    webdiff '#123'  # if you're in a git repo with a github remote
 
 This will download the files relevant to the Pull Request and run `webdiff`.
 

webdiff/argparser.py

@@ -62,8 +62,8 @@ def parse(args, version=None):
         # Or perhaps something simpler like '#292'?
         m = re.match(PULL_REQUEST_NUM_RE, args.dirs[0])
         if m:
-            num = int(m.group(1))
-            owner, repo, num = github_fetcher.get_pr_repo(num)
+            num = m.group(1)
+            owner, repo, num = github_fetcher.get_pr_repo(int(num))
 
         if not owner:
             raise UsageError(