Hashar has uploaded a new change for review. Change subject: basic script to sync extensions from Gerrit ......................................................................
basic script to sync extensions from Gerrit We manually maintain the submodules in mediawiki/extensions and we might miss some from time to time. This script will get the list of extensions from Gerrit, compare the registered git submodules and output the commands to add any missing extensions. Change-Id: I2faf8bb097931975da519fc3a8fcbf1be28f5e8d --- A sync-from-gerrit.sh 1 file changed, 30 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions refs/changes/73/39373/1 -- To view, visit https://gerrit.wikimedia.org/r/39373 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I2faf8bb097931975da519fc3a8fcbf1be28f5e8d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
