Hashar has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/359402 )
Change subject: Unconfigure Wikilog
......................................................................
Unconfigure Wikilog
Has migrated to GitHub.
Bug: T154443
Change-Id: If356e32e78f1620a7386d95d3e6f9ccfb6944a1e
---
M .gitmodules
D Wikilog
2 files changed, 0 insertions(+), 5 deletions(-)
Approvals:
Hashar: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index e36143e..2335b7e 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3038,10 +3038,6 @@
path = WikidataPageBanner
url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikidataPageBanner
branch = .
-[submodule "Wikilog"]
- path = Wikilog
- url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Wikilog
- branch = .
[submodule "WikimediaBadges"]
path = WikimediaBadges
url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikimediaBadges
diff --git a/Wikilog b/Wikilog
deleted file mode 160000
index 14bf97f..0000000
--- a/Wikilog
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 14bf97f5d9731c8b1877e5321b484818833fced3
--
To view, visit https://gerrit.wikimedia.org/r/359402
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If356e32e78f1620a7386d95d3e6f9ccfb6944a1e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
