WMKR Office privately requested me for assistance in moving the kr.wikimedia.org destination to m:Wikimedia Korea.
I asked them to put some verifiable proof of this (either comment effecting same message @ Meta or commenting on this bug) so we have a chain of responsibility, but I intend to put gerrit change first so things can be merged as soon as things are LGTM.
| Subject | Author | Repo | Branch | Lines +/- | |
|---|---|---|---|---|---|
| Change kr.wikimedia destination | Revi | operations/puppet | production | +1 -1 |
Change #1298381 had a related patch set uploaded (by Revi; author: Revi):
[operations/puppet@production] Change kr.wikimedia destination
As the project manager at WMKR I can able to confirm this request is made by our office. Please proceed with this. If you need further verification, please email me through Youngjin (WMKR) account in wikimedia. Thanks,
Youngjin
Change #1298381 merged by JHathaway:
[operations/puppet@production] Change kr.wikimedia destination