Changes

Service/wiki (view source)

12 bytes added , 19:09, 9 July 2016

no edit summary

Line 92: Line 92:

git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git wiki-devel

cd wiki-devel

−

git co -b REL1_19 remotes/origin/REL1_19

+

git checkout -b REL1_19 remotes/origin/REL1_19

git clone https://gerrit.wikimedia.org/r/p/mediawiki/extensions.git extensions-all

cd extensions-all

Line 116: Line 116:

git pull

−

git co -b REL1_xx remotes/origin/REL1_xx

+

git checkout -b REL1_xx remotes/origin/REL1_xx

The "extensions-all" directory contains a bunch of git repositories stitched together with 'git submodule'.

1,784

edits