I'm using post-receive hook in Git server to call a jenkins job. I have a special case where I don't want the jenkins job to be called if the push operation comes from a build machine (which is a git user). Or I don't want the post-receive to be executed if the push has commits that include some specific files (say info.plist). What is the way to approach this problem? I don't want to use git-plugin for jenkins.
Thanks