Patch Set 3:

> I absolutely agree. However, the commit hook did no allow me (as non EGit committer) to push the change otherwise. This looks like a bug in the commit hook and not on my side.

Yes, sorry, I forgot about the push rules