Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/70836
Change subject: script to verify Gerrit synchronization ...................................................................... script to verify Gerrit synchronization We sometime have extensions improperly configured in either Gerrit or the submodule file. The check-sync.sh script would pull all extensions from Gerrit and verify that there is no commits between their HEAD and origin/master. Example output with mediawiki/extensions.git at d0680b9 : ERROR! AutoCreateCategoryPages is lagging behind. ERROR! Bootstrap is lagging behind. ERROR! Campaigns is lagging behind. ERROR! CirrusSearch is lagging behind. ERROR! CommunityTwitter is lagging behind. ERROR! CoreEvents is lagging behind. ERROR! EImage is lagging behind. ERROR! JsonData is lagging behind. ERROR! Less is lagging behind. ERROR! OpenStreetMapSlippyMap is lagging behind. ERROR! PerPageLicense is lagging behind. ERROR! QuickResponse is lagging behind. ERROR! TimelineTable is lagging behind. ERROR! VisualEditor is lagging behind. ERROR! WikibaseDataModel is lagging behind. ERROR! WikibaseQueryEngine is lagging behind. bug: 49906 Change-Id: I1d294afb92c08f1268934eed84f0e53ab8f8dbf1 --- A check-sync.sh 1 file changed, 11 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions refs/changes/36/70836/1 diff --git a/check-sync.sh b/check-sync.sh new file mode 100755 index 0000000..4c1cda8 --- /dev/null +++ b/check-sync.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +echo "Refreshing remote" +git pull +echo "Refreshing submodules" +git submodule update --init + +echo "Still there? Check each modules is up to date" +git submodule --quiet foreach 'test "$(git rev-list HEAD..origin/master --count)" = "0" || echo "ERROR! $path is lagging behind."' + +echo "Done! Any ERROR! up this line should be reported in bugzilla" -- To view, visit https://gerrit.wikimedia.org/r/70836 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I1d294afb92c08f1268934eed84f0e53ab8f8dbf1 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits