git asked for a default push behaviour