jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/341125 )
Change subject: [Blockly] Switch to github type
......................................................................
[Blockly] Switch to github type
Change-Id: I22b4dab56923914307ff44a0c195bad5a67ea1cc
---
M repoconfig.commit.json
M repoconfig.json
2 files changed, 4 insertions(+), 4 deletions(-)
Approvals:
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/repoconfig.commit.json b/repoconfig.commit.json
index d879092..cb9dfec 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -6,11 +6,11 @@
"group": "out-blockly*",
"repos": {
"blockly": {
- "type": "git",
+ "type": "github",
"url": "[email protected]:google/blockly.git"
},
"blockly-games": {
- "type": "git",
+ "type": "github",
"url":
"[email protected]:google/blockly-games.git"
}
}
diff --git a/repoconfig.json b/repoconfig.json
index 76ee807..1bcf922 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -6,11 +6,11 @@
"group": "out-blockly*",
"repos": {
"blockly": {
- "type": "git",
+ "type": "github",
"url": "https://github.com/google/blockly.git";
},
"blockly-games": {
- "type": "git",
+ "type": "github",
"url":
"https://github.com/google/blockly-games.git";
}
}
--
To view, visit https://gerrit.wikimedia.org/r/341125
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I22b4dab56923914307ff44a0c195bad5a67ea1cc
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
