jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/341126 )
Change subject: [Encyclopedia of Life] Switch to github type
......................................................................
[Encyclopedia of Life] Switch to github type
Change-Id: Iaf0713177dc45d4cdc39e04dd4f9d709df404e8d
---
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 d879092..f646113 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -65,7 +65,7 @@
"group": "out-eol-*",
"repos": {
"eol": {
- "type": "git",
+ "type": "github",
"url": "[email protected]:EOL/eol.git"
}
}
diff --git a/repoconfig.json b/repoconfig.json
index 76ee807..6eff184 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -65,7 +65,7 @@
"group": "out-eol-*",
"repos": {
"eol": {
- "type": "git",
+ "type": "github",
"url": "https://github.com/EOL/eol.git";
}
}
--
To view, visit https://gerrit.wikimedia.org/r/341126
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaf0713177dc45d4cdc39e04dd4f9d709df404e8d
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nemo bis <[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
