Entertainment district ordinance repeal not on city council agenda