Make sure to fix Beta update scripts and make-branch to match rename.

New repo has been created and populated [0].

[0]: https://www.mediawiki.org/w/index.php?title=Git/New_repositories/Requests/Entries&diff=1077971&oldid=1077924

Change 151125 had a related patch set uploaded by BryanDavis:
Switch from mw/core/vendor to mw/vendor

https://gerrit.wikimedia.org/r/151125

Change 151131 had a related patch set uploaded by BryanDavis:
beta: Clone mediawiki/vendor instead of mediawiki/core/vendor

https://gerrit.wikimedia.org/r/151131

Manually changed remote on existing working copy on deployment-bastion:

deployment-bastion:/srv/scap-stage-dir/php-master/vendor (git master)
$ git remote -v
origin https://gerrit.wikimedia.org/r/p/mediawiki/core/vendor.git (fetch)
origin https://gerrit.wikimedia.org/r/p/mediawiki/core/vendor.git (push)

deployment-bastion:/srv/scap-stage-dir/php-master/vendor (git master)
root$ git remote set-url origin https://gerrit.wikimedia.org/r/p/mediawiki/vendor.git

deployment-bastion:/srv/scap-stage-dir/php-master/vendor (git master)
root$ git remote -v
origin https://gerrit.wikimedia.org/r/p/mediawiki/vendor.git (fetch)
origin https://gerrit.wikimedia.org/r/p/mediawiki/vendor.git (push)

Change 151132 had a related patch set uploaded by BryanDavis:
Switch from mediawiki/core/vendor to mediawiki/vendor

https://gerrit.wikimedia.org/r/151132

I left this as a comment on I5b9c4271284f78b68e9b1c726db8038b62c6c1f6:

I can't find the JJB config to go with this change in
integration/jenkins-job-builder-config.git. The job at
https://integration.wikimedia.org/ci/job/mediawiki-core-vendor-integration
looks to have been created with JJB however so I'm guessing that Antoine setup
the job from his local clone and never pushed the config up to the repo.

This needs associated JJB/Jenkins changes to create the new jobs.

Change 151227 had a related patch set uploaded by BryanDavis:
Change mediawiki/core/vendor to mediawiki/vendor

https://gerrit.wikimedia.org/r/151227

(In reply to Bryan Davis from comment #7)

I left this as a comment on I5b9c4271284f78b68e9b1c726db8038b62c6c1f6:

I can't find the JJB config to go with this change in
integration/jenkins-job-builder-config.git. The job at
https://integration.wikimedia.org/ci/job/mediawiki-core-vendor-integration
looks to have been created with JJB however so I'm guessing that Antoine setup
the job from his local clone and never pushed the config up to the repo.

This needs associated JJB/Jenkins changes to create the new jobs.

Updated in pending patch Ibbf742e4aea247cfa5265c65e679a905b26517c8

Patches created for:

• mediawiki/tools/release (Ic336805634e767e377e33fc2b5fd91097b0fdf22)
• operations/puppet (Ie9fd0465de5804bc0f334aefd7e50829ac2d261e)
• integration/zuul-config (I5b9c4271284f78b68e9b1c726db8038b62c6c1f6)
• integration/jenkins (I6a729b9695961e0457825f775eaf26871837d6de)
• integration/jenkins-job-builder-config (Ibbf742e4aea247cfa5265c65e679a905b26517c8)

Change 151227 merged by jenkins-bot:
Change mediawiki/core/vendor to mediawiki/vendor

https://gerrit.wikimedia.org/r/151227

Change 151132 merged by jenkins-bot:
Switch from mediawiki/core/vendor to mediawiki/vendor

https://gerrit.wikimedia.org/r/151132

Continuous integration related patches have all been merged/deployed including the experimental jobs based on Zuul cloner. Thanks Bryan!

Change 151125 merged by jenkins-bot:
Switch from mw/core/vendor to mw/vendor

https://gerrit.wikimedia.org/r/151125

Change 151131 merged by Filippo Giunchedi:
beta: Clone mediawiki/vendor instead of mediawiki/core/vendor

https://gerrit.wikimedia.org/r/151131

Updated RFC to reflect new name https://www.mediawiki.org/w/index.php?title=Requests_for_comment/Composer_managed_libraries_for_use_on_WMF_cluster&diff=1112341&oldid=1077086