jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/364833 )
Change subject: Update the php symlink after group1 promote
......................................................................
Update the php symlink after group1 promote
Have been doing this manually, but the whole point of the script is to
be automagical!
Change-Id: If9b705a9d33a8cb64ba9563309ff9566a97cb212
---
M bin/deploy-promote
1 file changed, 6 insertions(+), 0 deletions(-)
Approvals:
Thcipriani: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/deploy-promote b/bin/deploy-promote
index a1617eb..e516388 100755
--- a/bin/deploy-promote
+++ b/bin/deploy-promote
@@ -148,6 +148,12 @@
scap sync-wikiversions "$MSG"
+ # Group1 day is also the day we sync the php symlink
+ if [[ "$GRP" == "group1" ]]; then
+ notify "Running scap sync-file php"
+ scap sync-file php "$MSG"
+ fi
+
set +e
check_versions
}
--
To view, visit https://gerrit.wikimedia.org/r/364833
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If9b705a9d33a8cb64ba9563309ff9566a97cb212
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Thcipriani <[email protected]>
Gerrit-Reviewer: Thcipriani <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
