Merge pull request #161 from MaRDI4NFDI/change_widgets_branch

Change branch in widgets extension
MaRDI4NFDI · Sep 30, 2024 · d07a6a5 · d07a6a5
2 parents a91261c + ff18381
commit d07a6a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -67,7 +67,7 @@ bash clone-extension.sh Thanks ${WMF_BRANCH};\
 bash clone-extension.sh UniversalLanguageSelector ${WMF_BRANCH};\
 bash clone-extension.sh UrlGetParameters ${REL_BRANCH};\
 bash clone-extension.sh VisualEditor ${WMF_BRANCH};\
-bash clone-extension.sh Widgets master;\
+bash clone-extension.sh Widgets ${REL_BRANCH};\
 bash clone-extension.sh Wikibase ${WMF_BRANCH};\
 bash clone-extension.sh WikibaseCirrusSearch ${WMF_BRANCH};\
 bash clone-extension.sh WikibaseLexeme ${WMF_BRANCH};\