jenkins-bot has submitted this change and it was merged.
Change subject: Make make-extension-branches support skins
......................................................................
Make make-extension-branches support skins
It already did via live hacking when I used it, but this
saves time and lets you do it all at once
While we're here, branch the meta repos too. Not sure why
we weren't doing it already
Change-Id: Ib55474a445bd370ec6cfa4b2c72b5f7d572ca0e8
---
M make-extension-branches/make-extension-branches
1 file changed, 7 insertions(+), 7 deletions(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-extension-branches/make-extension-branches
b/make-extension-branches/make-extension-branches
index 3d3e16e..3bf9c59 100755
--- a/make-extension-branches/make-extension-branches
+++ b/make-extension-branches/make-extension-branches
@@ -1,7 +1,7 @@
#!/usr/bin/env php
<?php
/**
- * Create branches in all Wikimedia-hosted extension repositories.
+ * Create branches in all Wikimedia-hosted extension/skin repositories.
* Run this script after mediawiki/core has branched. Then figure
* out the timestamp of when it was branched as follows:
*
@@ -69,7 +69,11 @@
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' ) );
+ $cmd = 'ssh -p 29418 gerrit.wikimedia.org gerrit
ls-projects -p';
+ $list = array_merge(
+ explode( "\n", shell_exec( "$cmd
mediawiki/extensions" ) ),
+ explode( "\n", shell_exec( "$cmd
mediawiki/skins" ) ),
+ );
// Trim leading/trailing whitespace
$list = array_map( 'trim', $list );
// Ignore empty lines
@@ -91,10 +95,6 @@
// Move back to the build dir in each loop,
// otherwise we'll get build/AntiBot/CategoryTree/.. instead of
build/AntiBot, build/CategoryTree, ..
$this->chdir( $this->buildDir );
- if ( $extRepo === 'mediawiki/extensions' ) {
- // Skip the meta repository
- return;
- }
echo "... $extRepo\n";
$url = str_replace( '{repository}', $extRepo,
$this->conf->extRepoUrlFormat );
$name = basename( $extRepo );
@@ -122,7 +122,7 @@
$this->fixGitReview( $branchName );
$this->execCmd( 'git', 'commit', '-a', '-q', '-m', "Creating
new {$branchName} branch" );
- # Final push to repo for this extension
+ # Final push to repo for this extension/skin
$this->execWriteCmd( 'git', 'push', 'origin',
"$branchName:refs/heads/$branchName" );
}
--
To view, visit https://gerrit.wikimedia.org/r/246264
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib55474a445bd370ec6cfa4b2c72b5f7d572ca0e8
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
