#! /bin/sh
-current="`git config --get remote.current.url`" &&
+"$HOME"/admin/prog/git-scripts/update || exit 1
-git pull --ff-only current master && git push web &&
-
-cd "$current" &&
-exec git pull origin
+current="`git config --get --path remote.current.url`"
+cd "$current" && exec compyleall