github api is now used for determining open pull requests