#! /bin/sh

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