This phing snippet will help you run "git pull" on remote server from your local dev machine

phing-remote-pull

<?xml version="1.0" encoding="UTF-8" ?>
 
<project name="Awesome Application" default="update">
	<target name="update" description="">
		<property name="username" value="" />
		<property name="hostname" value="" />
		<property name="public_path" value="/srv/www/your-app/public_html" />
		
		<exec outputProperty="result"
			  command="ssh ${username}@${hostname} 'cd ${public_path};  git pull;'" />
		<echo msg="${result}" />
	</target>
</project>