jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372009 )
Change subject: wiki-ai: update repository location after rename
......................................................................
wiki-ai: update repository location after rename
Bug: T172180
Change-Id: I03374de0a46d8b5758a17abff1e50d05272034e0
---
M repoconfig.commit.json
M repoconfig.json
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Ladsgroup: Looks good to me, but someone else must approve
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/repoconfig.commit.json b/repoconfig.commit.json
index b49149a..3cc8a8d 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -513,7 +513,7 @@
},
"wiki-ai/wikilabels-wikimedia-config": {
"type": "github",
- "url":
"[email protected]:wiki-ai/wikilabels-wikimedia-config.git"
+ "url":
"[email protected]:wiki-ai/wikilabels-wmflabs-deploy.git"
}
}
},
diff --git a/repoconfig.json b/repoconfig.json
index f5fe6c1..2293662 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -512,7 +512,7 @@
},
"wiki-ai/wikilabels-wikimedia-config": {
"type": "github",
- "url":
"https://github.com/wiki-ai/wikilabels-wikimedia-config.git";
+ "url":
"https://github.com/wiki-ai/wikilabels-wmflabs-deploy.git";
}
}
},
--
To view, visit https://gerrit.wikimedia.org/r/372009
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I03374de0a46d8b5758a17abff1e50d05272034e0
Gerrit-PatchSet: 2
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Halfak <[email protected]>
Gerrit-Reviewer: Ladsgroup <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
