I have a question. 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