jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/332671 )
Change subject: copypatrol: switch to github
......................................................................
copypatrol: switch to github
Change-Id: I4e09b2c3ef8c569142ea960f066df3c7f557f686
---
M repoconfig.commit.json
M repoconfig.json
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/repoconfig.commit.json b/repoconfig.commit.json
index ec06f21..226c941 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -47,7 +47,7 @@
"group": "copypatrol",
"repos": {
"copypatrol": {
- "type": "git",
+ "type": "github",
"url":
"g...@github.com:wikimedia/CopyPatrol.git"
}
}
diff --git a/repoconfig.json b/repoconfig.json
index c03f5b2..e2c5f30 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -46,7 +46,7 @@
"group": "copypatrol",
"repos": {
"copypatrol": {
- "type": "git",
+ "type": "github",
"url":
"https://github.com/wikimedia/CopyPatrol.git";
}
}
--
To view, visit https://gerrit.wikimedia.org/r/332671
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4e09b2c3ef8c569142ea960f066df3c7f557f686
Gerrit-PatchSet: 2
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <federicol...@tiscali.it>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
