[git-scripts.git] / git-push-compyle-set-date

#! /bin/sh

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