Attempted bug fix to get Github push web hook working.