It's based on Patroni - which they wrote and maintain and is the most popular HA Failover software for Postgres.