Suppress duplicate repo warning for bug #478544.