Update jenkins BATS to test for new github push trigger file