moved user-dependent push_repos to pi crontab