Hi

Is there a proper way to request that someone else's pull request be merged ?

Many Thanks an Regards