change to accept generic github event, and extra rule for git push events