Physikerwelt has submitted this change and it was merged. Change subject: Delete MWS submodule ......................................................................
Delete MWS submodule The MathWeb Search server is a service that should be installed on its own including is as submodule is a bad system design. A debian package would be much more appropriate. Change-Id: Iad9860c0d061461fee48dea8af1b878e75e42e68 --- D .gitmodules D mws 2 files changed, 0 insertions(+), 3 deletions(-) Approvals: Physikerwelt: Looks good to me, approved jenkins-bot: Verified diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 58eab46..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "mws"] - path = mws - url = https://github.com/physikerwelt/mws diff --git a/mws b/mws deleted file mode 160000 index b1d6d1d..0000000 --- a/mws +++ /dev/null -Subproject commit b1d6d1d5297ec6c99c1de6074cdb9722c14a2713 -- To view, visit https://gerrit.wikimedia.org/r/113359 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iad9860c0d061461fee48dea8af1b878e75e42e68 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/MathSearch Gerrit-Branch: master Gerrit-Owner: Physikerwelt <w...@physikerwelt.de> Gerrit-Reviewer: Physikerwelt <w...@physikerwelt.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
