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.