improve message in git pre-push hook
improve run-agent alias