A simple PHP script to execute arbitrary shell commands each time someone pushes something into a GitLab repository