push: better error message when no remote configured