#! /bin/sh

git push-compyle "$@" &&
exec git set-date