jenkins-bot has submitted this change and it was merged.
Change subject: mediawiki-core-jsduck-publish: Fix resources/ being 404 Not
Found
......................................................................
mediawiki-core-jsduck-publish: Fix resources/ being 404 Not Found
Follows-up b40fe3bcd2. rsync is a no-op if the destination exists
as symlink to the origin!
Bug: T86864
Change-Id: I0840627649fd04c2c3430622af6a4bdd4e930e1b
---
M jjb/mediawiki.yaml
1 file changed, 5 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index 0c01ad7..cf3501f 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -71,7 +71,11 @@
builders:
- shell: |
$WORKSPACE/maintenance/mwjsduck-gen --version "$ZUUL_BRANCH"
- rsync --recursive --delete-after --force $WORKSPACE/resources/
"$WORKSPACE/docs/js/modules/"
+ # Substitute symlink with complete copy since we only publish
+ # the docs/js directory. Have to remove the symlink manually
+ # as otherwise the rsync operation is a no-op (T86864).
+ rm $WORKSPACE/docs/js/modules
+ rsync --recursive --delete-after --force $WORKSPACE/resources
$WORKSPACE/docs/js/modules
- documentation-sync-subdir:
src: '$WORKSPACE/docs/js'
project: 'mediawiki-core'
--
To view, visit https://gerrit.wikimedia.org/r/185109
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0840627649fd04c2c3430622af6a4bdd4e930e1b
Gerrit-PatchSet: 2
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
