Hashar has uploaded a new change for review.
https://gerrit.wikimedia.org/r/144577
Change subject: Let us skip branching REL for some extensions
......................................................................
Let us skip branching REL for some extensions
The ZeroBanner and ZeroPortal extensions had REL1_23 branches created
for them though they are definitely not meant to be used yet.
A Jenkins job I am working on would let us test MediaWiki REL1_23 with
all extensions having that release branch, fallbacking to master when it
is not available. Thus assuming master works fine. That would match
that very specific case.
Change-Id: Iddb81b4a4ce11aee6b6d04ed57af8214331f6d0c
---
M make-extension-branches/default.conf
M make-extension-branches/make-extension-branches
2 files changed, 19 insertions(+), 9 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release
refs/changes/77/144577/1
diff --git a/make-extension-branches/default.conf
b/make-extension-branches/default.conf
index 0a25916..3347f3f 100644
--- a/make-extension-branches/default.conf
+++ b/make-extension-branches/default.conf
@@ -11,6 +11,12 @@
// Array of repository names. Will substituted in extRepoUrlFormat
$conf->extRepos = false;
+// Array of repositories that should not get release branches created
+$conf->extReposExclude = array(
+ 'mediawiki/extensions/ZeroBanner',
+ 'mediawiki/extensions/ZeroPortal',
+);
+
// Change to 'username@' in local.conf if your shell username is different than
// your Wikimedia Labs LDAP username
$conf->extRepoUrlFormat = 'ssh://gerrit.wikimedia.org:29418/{repository}.git';
diff --git a/make-extension-branches/make-extension-branches
b/make-extension-branches/make-extension-branches
index af5dada..9eef7b5 100755
--- a/make-extension-branches/make-extension-branches
+++ b/make-extension-branches/make-extension-branches
@@ -67,16 +67,20 @@
}
protected function setup() {
- if ( !$this->conf->extRepos ) {
- // Fetch from Gerit
- $list = explode( "\n", shell_exec( 'ssh -p 29418
gerrit.wikimedia.org gerrit ls-projects -p mediawiki/extensions' ) );
- // Trim leading/trailing whitespace
- $list = array_map( 'trim', $list );
- // Ignore empty lines
- $list = array_filter( $list );
-
- $this->conf->extRepos = $list;
+ if ( $this->conf->extRepos ) {
+ return;
}
+
+ // Fetch from Gerit
+ $list = explode( "\n", shell_exec( 'ssh -p 29418
gerrit.wikimedia.org gerrit ls-projects -p mediawiki/extensions' ) );
+ // Trim leading/trailing whitespace
+ $list = array_map( 'trim', $list );
+ // Ignore empty lines
+ $list = array_filter( $list );
+ // Filter out unwanted repositories
+ $list = array_diff( $list, $this->conf->extReposExclude );
+
+ $this->conf->extRepos = $list;
}
public function start() {
--
To view, visit https://gerrit.wikimedia.org/r/144577
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Iddb81b4a4ce11aee6b6d04ed57af8214331f6d0c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
