github api get merged pull requests