Really make infra-docs job only run on master