added --ignore-pullrequests option

[felipesabino]

Adding option for filtering pull requests from list of issues.

As Github API does not provide a way to filter the request for non-pull request issues, it had to be done filtering the response

---

https://developer.github.com/v3/issues/#list-issues-for-a-repository

Note: Every pull request is an issue, but not every issue is a pull request. If the issue is not a pull request, the response omits the pull_request attribute.

[valentinzberea]

You should keep the original tab characters. The diff would be easier to follow without the tabs being replaced.

[felipesabino]

@valentinzberea Just patched the commit to maintain the tab spaces...

Btw, you should consider adding both EditorConfig and Github's contribution guidelines to the project in order to reduce the need for this sort of patching in the future :)

[felipesabino]

@valentinzberea any updates on this?

[valentinzberea]

I'd like to help @felipesabino but I'm not a project collaborator to merge your pull request nor to add contribution guidelines to the project.

[crawford]

You need this on line 112:

config.set('settings', 'import-pullrequests', str(not args.ignore_pullrequests))