jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/334377 )
Change subject: Set type for codev to github
......................................................................
Set type for codev to github
@translatewiki has access to mantisbt-plugins.
Change-Id: Ie4c338e148313d50251ddd8a27dc597c36ee07c1
---
M repoconfig.commit.json
M repoconfig.json
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Siebrand: Looks good to me, approved
diff --git a/repoconfig.commit.json b/repoconfig.commit.json
index 23d97bc..7c83a99 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -28,7 +28,7 @@
"group": "codev",
"repos": {
"codev": {
- "type": "git",
+ "type": "github",
"url":
"[email protected]:mantisbt-plugins/codev.git"
}
}
diff --git a/repoconfig.json b/repoconfig.json
index 086f129..85526c1 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -28,7 +28,7 @@
"group": "codev",
"repos": {
"codev": {
- "type": "git",
+ "type": "github",
"url":
"https://github.com/mantisbt-plugins/codev.git";
}
}
--
To view, visit https://gerrit.wikimedia.org/r/334377
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie4c338e148313d50251ddd8a27dc597c36ee07c1
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
