On Tue, May 24, 2016 at 9:16 AM, Randall S. Becker <[email protected]> wrote: > May be missing the point, but isn't the original intent to provide > policy-based to control the push
I didn't get the impression that those who are proposing were interested in a "policy that you have to obey" at all. Isn't this more about "I often by mistake say 'git push foo' which I want to prevent"? At least that was the impression I was getting. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
