jenkins-bot has submitted this change and it was merged.
Change subject: Oppia: use develop branch
......................................................................
Oppia: use develop branch
Change-Id: Ice0207bb548ac21dbae3eb569af51a10ecf73f2e
---
M repoconfig.commit.json
M repoconfig.json
2 files changed, 2 insertions(+), 0 deletions(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/repoconfig.commit.json b/repoconfig.commit.json
index 0f6c8d7..31f9f86 100644
--- a/repoconfig.commit.json
+++ b/repoconfig.commit.json
@@ -201,6 +201,7 @@
"repos": {
"oppia": {
"type": "git",
+ "branch": "develop",
"url": "g...@github.com:oppia/oppia.git"
}
}
diff --git a/repoconfig.json b/repoconfig.json
index 5d27933..81a796e 100644
--- a/repoconfig.json
+++ b/repoconfig.json
@@ -197,6 +197,7 @@
"repos": {
"oppia": {
"type": "git",
+ "branch": "develop",
"url": "https://github.com/oppia/oppia.git";
}
}
--
To view, visit https://gerrit.wikimedia.org/r/324264
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ice0207bb548ac21dbae3eb569af51a10ecf73f2e
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <niklas.laxst...@gmail.com>
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
