Update infra.md