A person enters the front doors of the East Lansing City Hall on Tuesday, Aug. 1, 2023. (Alice Dreger for ELi)