Chad has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/379423 )
Change subject: More 1.30 fixes
......................................................................
More 1.30 fixes
Change-Id: Idb1dfe035b90f132ac204b6aa670a83e49d8f225
---
M make-release/make-branches
1 file changed, 4 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release
refs/changes/23/379423/1
diff --git a/make-release/make-branches b/make-release/make-branches
index 6f847cf..f7cbe21 100755
--- a/make-release/make-branches
+++ b/make-release/make-branches
@@ -8,7 +8,6 @@
from requests.exceptions import HTTPError
from pygerrit.rest import GerritRestAPI
import yaml
-from pprint import pprint
def main():
@@ -24,6 +23,8 @@
'mediawiki/core': '0cd28e19cb0f9385a2a1cc11a4d8c9c21ff0b830',
'mediawiki/vendor': '68b54dbcd8d65de64225a4ccc9dceb94429ca42a',
}
+ shit_to_skip = ['mediawiki/extensions/BlueSpiceExtendedStatistics',
+ 'mediawiki/extensions/BlueSpiceUserManager']
new_branch_name = 'REL1_30'
for stuff in ['skins', 'extensions']:
@@ -34,6 +35,8 @@
for repo in things_to_branch:
branch_point = 'HEAD'
+ if repo in shit_to_skip:
+ continue
if repo in manual_branch_points:
branch_point = manual_branch_points[repo]
data = '{"revision":"%s"}' % branch_point
--
To view, visit https://gerrit.wikimedia.org/r/379423
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Idb1dfe035b90f132ac204b6aa670a83e49d8f225
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
