jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/332808 )
Change subject: citationhunt: switch to github
......................................................................
citationhunt: switch to github
Change-Id: I20f942152a619e61cc2e2a3958d0f789bcd68651
---
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 49f9456..8fe0dcb 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -19,7 +19,7 @@
"group": "citationhunt",
"repos": {
"citationhunt": {
- "type": "git",
+ "type": "github",
"url": "g...@github.com:eggpi/citationhunt.git"
}
}
diff --git a/repoconfig.json b/repoconfig.json
index 81246ab..e21c805 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -19,7 +19,7 @@
"group": "citationhunt",
"repos": {
"citationhunt": {
- "type": "git",
+ "type": "github",
"url":
"https://github.com/eggpi/citationhunt.git";
}
}
--
To view, visit https://gerrit.wikimedia.org/r/332808
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I20f942152a619e61cc2e2a3958d0f789bcd68651
Gerrit-PatchSet: 1
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
