Admit option to suppress git push/pull.