Topic on Project:Support desk

Is it possible to download an older version of a MediaWiki Git repository (either the MediaWiki core or an extension)?

Yes, after pulling a repository from git, enter

git branch -r | sort -V OR git tag -l | sort -V which will list the available branches.

Then, checkout the specific branch by entering a command such as:

git checkout -b REL1_28 origin/REL1_28

where "REL1_28" will be what you want to name the branch locally while "origin/REL1_28" will be the branch name that you got from the above list.

After the checkout of a different branch, you will have to run thecomposer update --no-dev and php maintenance/update.php (and possibly some other) commands as well.

The same procedure for extensions, although as generally their branches are named as REL1_27, REL1_28, REL1_29 etc. you wouldn't need to find the branch names.

See Download from Git.