At https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/skins/MinervaNeue/ the page advises us to use git clone ssh://gerrit.wikimedia.org:29418/mediawiki/skins/MinervaNeue.

Actual Result

This command will only work if and only if the gerrit username of the user is the same as the name of the user they are currently logged in as inside their computer.

Expected Result

The command should be like git clone https://gerrit.wikimedia.org/r/path/to/repo when no user is logged in and should be something like git clone ssh://<gerrit username>@gerrit.wikimedia.org:29418/path/to/repo if a user is logged in.