Fix issue #9428, increase repo maintenance history queue length from 3 to 25