Re: Suggestion

On Mon, Apr 29, 2013 at 09:28:16AM -0400, Christopher Covington wrote:

I'm familiar with a submit- or merge-time option for this. It's not clear to me from your reply whether you're referring to this or an upload- or push-time option.

Oh, on initial push? I've not seen that but it does strike me that it would be somewhat useful in avoiding frustration from things not merging later on - at least you know there was a chance that the change could've been merged.