Media advisory: Old Capitol flag pulley repairs scheduled Thursday