bug #17: commit ignores git pre-receive hook
Executing git push with command line for commit hooks working