a change in mirrored core repo