git : don't ask for push if no remote is defined
extending quiet mode