Chad has uploaded a new change for review.
https://gerrit.wikimedia.org/r/246264
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, 6 insertions(+), 7 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release
refs/changes/64/246264/1
diff --git a/make-extension-branches/make-extension-branches
b/make-extension-branches/make-extension-branches
index 3d3e16e..14a8d33 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,10 @@
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' ) );
+ $list = array_merge(
+ explode( "\n", shell_exec( 'ssh -p 29418
gerrit.wikimedia.org gerrit ls-projects -p mediawiki/extensions' ) ),
+ explode( "\n", shell_exec( 'ssh -p 29418
gerrit.wikimedia.org gerrit ls-projects -p mediawiki/skins' ) ),
+ );
// Trim leading/trailing whitespace
$list = array_map( 'trim', $list );
// Ignore empty lines
@@ -91,10 +94,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 +121,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: newchange
Gerrit-Change-Id: Ib55474a445bd370ec6cfa4b2c72b5f7d572ca0e8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
