Home » Mailing list archives » git » 2007 » October » 31

Re: [PATCH 10/10] push: teach push to be quiet if local ref is strict subset of remote ref

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
[view in full thread]
From: Junio C Hamano <gitster@...>
To: Steffen Prohaska <prohaska@...>
Cc: <git@...>
Subject: Re: [PATCH 10/10] push: teach push to be quiet if local ref is strict subset of remote ref
Date: Wednesday, October 31, 2007 - 2:51 pm

Steffen Prohaska <prohaska@zib.de> writes:


By your definition, a command that does not do anything by
default is safer regardless of the workflow.

That may be theoretically true --- it cannot do any harm by
default.  But that is not useful.


You forgot a lot more important part.  Pushing into publishing
repositories.  And the discussion is about git-push command.
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
Messages in current thread:
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Tue Oct 30, 4:29 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Daniel Barkalow, (Tue Oct 30, 2:00 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Tue Oct 30, 6:15 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Tue Oct 30, 3:19 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Wed Oct 31, 3:53 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Wed Oct 31, 4:45 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Wed Oct 31, 6:50 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Wed Oct 31, 2:51 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Wed Oct 31, 5:09 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Wed Oct 31, 5:31 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Wincent Colaiuta, (Fri Nov 2, 4:18 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Johannes Schindelin, (Fri Nov 2, 8:14 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Fri Nov 2, 8:48 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Wincent Colaiuta, (Fri Nov 2, 9:11 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Andreas Ericsson, (Thu Nov 1, 4:18 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Thu Nov 1, 4:36 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Andreas Ericsson, (Thu Nov 1, 5:29 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Thu Nov 1, 3:03 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Andreas Ericsson, (Thu Nov 1, 5:11 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Thu Nov 1, 12:43 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Andreas Ericsson, (Fri Nov 2, 6:03 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Tom Prince, (Fri Nov 2, 9:24 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Andreas Ericsson, (Fri Nov 2, 9:52 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Fri Nov 2, 3:42 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Fri Nov 2, 4:19 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Fri Nov 2, 10:49 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Thu Nov 1, 4:18 pm)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Fri Nov 2, 3:21 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Fri Nov 2, 3:52 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Fri Nov 2, 6:03 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Fri Nov 2, 6:44 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Fri Nov 2, 7:40 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Junio C Hamano, (Wed Oct 31, 5:14 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Andreas Ericsson, (Tue Oct 30, 6:26 am)
Re: [PATCH 10/10] push: teach push to be quiet if local ref ..., Steffen Prohaska, (Tue Oct 30, 6:53 am)