postgresql pr merged