Carol Martin will take the oath of office as Gainesville’s full-time police chief tonight when the City Council meets. Martin has been the interim police chief since late August. After The Times published a story revealing infighting among Gainesville police officials and dwindling morale across the department, city leaders conducted interviews with officers and decided Chief Brian Kelly needed to be replaced.