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.