Chad has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326207 )
Change subject: Fix submodules not auto updating
......................................................................
Fix submodules not auto updating
We need to add [subscribe "mediawiki/extensions"] to all the extensions.
The docs did not explain this but in my testing this worked.
Bug: T152663
Change-Id: I91416deb692605e7ded148a1ed117dfbf385f833
---
M project.config
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Chad: Verified; Looks good to me, approved
diff --git a/project.config b/project.config
index 35e8f63..6e85a83 100644
--- a/project.config
+++ b/project.config
@@ -13,3 +13,7 @@
all = refs/heads/*:refs/heads/*
[allowSuperproject "mediawiki/core"]
all = refs/heads/*:refs/heads/*
+[subscribe "mediawiki/skins"]
+ refs = refs/heads/*:refs/heads/*
+[subscribe "mediawiki/core"]
+ refs = refs/heads/*:refs/heads/*
--
To view, visit https://gerrit.wikimedia.org/r/326207
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I91416deb692605e7ded148a1ed117dfbf385f833
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/skins
Gerrit-Branch: refs/meta/config
Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
