How to let developer get a look on pull-requests

I created a pull-request on GitHub repository whose last activity is half a year ago. But I am not sure whether this patch would be reviewed by developer. I do want this patch be applied to the