Make pull.php do a pull --rebase instead of normal pull