On 21 Jan 2015, at 11:40, Robert Metzger <rmetz...@apache.org> wrote:
> Is the git hook something we can control for everybody? I thought its more > like a personal thing everybody can set up if wanted? > > I'm against enforcing something like this for every committer. I don't want > to wait for 15 minutes for pushing a typo fix to the documentation. Sorry, I didn't mean to have it in the repo. As long as we notice failing builds fast enough (aka email notification), it should be OK to keep it that way. As you said, every committer should decide this on her own. BTW You can always skip hooks with git push -n (--no-verify).
