Reedy has submitted this change and it was merged.
Change subject: Minor updates as to how I have it currently
......................................................................
Minor updates as to how I have it currently
Change-Id: I2ebd058a5ae83861a7419961777be335e9827f63
---
M make-deploy-notes/make-deploy-notes
1 file changed, 2 insertions(+), 3 deletions(-)
Approvals:
Reedy: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-deploy-notes/make-deploy-notes
b/make-deploy-notes/make-deploy-notes
index cc67596..a28dabc 100755
--- a/make-deploy-notes/make-deploy-notes
+++ b/make-deploy-notes/make-deploy-notes
@@ -158,12 +158,11 @@
$skipLines = array(
'Localisation updates from',
'COMMITMSG', // Fix for escaping fail leaving a commit summary
of $COMMITMSG
- 'Add \.gitignore',
- 'Add \.gitreview and \.gitignore',
+ 'Add (\.gitreview and )?\.gitignore',
'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}|production tip))?', // Update foo to master
+ '(Updat(e|ing) )? ?.*? to
(master|head|[0-9a-f]{5,40}|production tip)', // Update foo to master
'Bump .*? for deployment',
);
foreach ( $logoutput as $line ) {
--
To view, visit https://gerrit.wikimedia.org/r/70213
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2ebd058a5ae83861a7419961777be335e9827f63
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
