Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/185109
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(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/09/185109/1
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index fb8925b..f31adfa 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: newchange
Gerrit-Change-Id: I0840627649fd04c2c3430622af6a4bdd4e930e1b
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
