About [[MediaWiki:Default-skin-not-found/en]] and [[MediaWiki:Default-skin-not-found-no-skins/en]]

CLOSED This issue is closed by Matma Rex

Suggesting to add another list element that should refer to developers wanting to check out all skins in the mediaWiki repoitory via git, and provide, or link to, a command sample how to do so.

I updated the page https://www.mediawiki.org/wiki/Download_from_Git#Using_Git_to_download_MediaWiki_skins and submitted a patch to link to it: https://gerrit.wikimedia.org/r/211809