Gitmerge.php fix