Hashar has uploaded a new change for review. ( 
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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions 
refs/changes/02/359402/1

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: newchange
Gerrit-Change-Id: If356e32e78f1620a7386d95d3e6f9ccfb6944a1e
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

Reply via email to