#!/bin/sh

sage -hg status
sage -hg diff
sage -hg ci
sage -hg push -f ssh://sage@www.sagemath.org/www/hg/sage-main
