Add scripts to unabsorb git dirs

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

#! /bin/sh

git push "$@" &&
exec compyle-all