How can I get a list of all github `PushEvents` for a user
问题 I can see all events for a particular user, for example here are mine: https://api.github.com/users/arasbm/events But I am only interested in events of a particular type: "type": "PushEvent", How can I get this data without having to process the list of all events (which can be slow). I am trying to do this because I want to get a list of all my PRs that have been merged. If you can give me the curl command that would be awesome. I can not find this anywhere in the github api docs. 回答1: As