mediawiki/extensions/examples repo has undergone some refactoring and based on current recent style in which we name our repositories especially extensions, the name could be move from "examples" to "Examples".
@QChris, is this something that can be done on Gerrit directly or do we need to do it via some other approach? Thanks!