Ft. Thomas Pitbull ban

Hiii, so I have 2 pit mixes (photos for reference haha) and I’m going to tour a potential apartment in Ft. Thomas, but I was looking at the Ft. Thomas dog park online and it has a sign posted saying “no pitbull terriers in the city of Ft. Thomas KY” …. Does anyone know how serious this is taken/if it applies to mixed breeds? I’m pretty sure my dogs are lab/pit mix and boxer/pit mix. It’s all bullshit in my opinion, but wanted to see before I wasted time touring. Thanks !