#!/bin/sh
git push
ssh ssp@gnome.org "cd public_html/randr ; git pull ; git-update-server-info"