batfish-bot

This change is [](https://reviewable.io/reviews/batfish/pybatfish/851)

This change is [](https://reviewable.io/reviews/batfish/batfish/8542)

This change is [](https://reviewable.io/reviews/batfish/batfish/8550)

This change is [](https://reviewable.io/reviews/batfish/batfish/8549)

This change is [](https://reviewable.io/reviews/batfish/batfish/8541)

This change is [](https://reviewable.io/reviews/batfish/pybatfish/861)

This change is [](https://reviewable.io/reviews/batfish/batfish/8441)

This change is [](https://reviewable.io/reviews/batfish/batfish/8456)

This change is [](https://reviewable.io/reviews/batfish/batfish/8454)

This change is [](https://reviewable.io/reviews/batfish/batfish/8459)