Merge branch 'release/1.0.2'
Only use github issues

Issues include all pull requests anyway, and have more data than the
pull requests response (labels, in particular)