Reedy has uploaded a new change for review.
https://gerrit.wikimedia.org/r/49487
Change subject: Filter "production tip"
......................................................................
Filter "production tip"
Change-Id: I51c2056ff8d8e3be08c8bea5ad1e2ea20cda76aa
---
M make-deploy-notes/make-deploy-notes
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release
refs/changes/87/49487/1
diff --git a/make-deploy-notes/make-deploy-notes
b/make-deploy-notes/make-deploy-notes
index 5b06d5b..c4fb0c1 100755
--- a/make-deploy-notes/make-deploy-notes
+++ b/make-deploy-notes/make-deploy-notes
@@ -118,7 +118,7 @@
'Creating new WMF',
'Commit of various live hacks', // Our catchall patch for live
hacky stuff
'Applied patches to new WMF',
- '(Updat(e|ing))? ?.*? to (master|head|[0-9a-f]{5,40})', //
Update foo to master
+ '(Updat(e|ing))? ?.*? to (master|head|[0-9a-f]{5,40}|production
tip)', // Update foo to master
);
foreach ( $logoutput as $line ) {
foreach( $skipLines as $skip ) {
--
To view, visit https://gerrit.wikimedia.org/r/49487
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I51c2056ff8d8e3be08c8bea5ad1e2ea20cda76aa
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
