Hi Is there a proper way to request that someone else's pull request be merged ? Many Thanks an Regards