Change Details

This is an annoying one, but we want to make everything consistent. We'll need to: * Rename the gerrit repo and any mirrors e.g. in Phabricator. * Rename the extension in configuration files. * Rename project tags in Phabricator.

This is an annoying one, but we want to make everything consistent. See subtasks.

This is an annoying one, but we want to make everything consistent. We'll need to: * Rename the gerrit repo and any mirrors e.g. in Phabricator. * Rename the extension in configuration files. * Rename project tags in PhabricatorSee subtasks.