Gitlab custom post-receive hook not working from web-ui

Hi,

We're on 7.12.2 30bffd58 and have a simple bash custom post-receive hook in

/var/opt/gitlab/git-data/repositories/USER/USER_PROJ.git/custom_hooks/post-receive

When a regular commit comes in, it fires. However, when the file edit option in the gitlab Web UI is used, the hook is not fired.

Is this a bug, or did we miss a setting somewhere?

thanks