Hashar has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/394544 )
Change subject: Remove Arcanist configuration files
......................................................................
Remove Arcanist configuration files
We thought about migrating operations/mediawiki-config to Differential
but it is not going to happen. Drop Arcanist related files since they
are of no use.
Change-Id: I3ef368e5e623482cbb3ec9e875f5b48315bc8302
---
D .arcconfig
D .arclint
2 files changed, 0 insertions(+), 16 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/44/394544/1
diff --git a/.arcconfig b/.arcconfig
deleted file mode 100644
index 3e5ba0b..0000000
--- a/.arcconfig
+++ /dev/null
@@ -1,4 +0,0 @@
-{
- "phabricator.uri": "https://phabricator.wikimedia.org/";,
- "repository.callsign": "OMWC"
-}
diff --git a/.arclint b/.arclint
deleted file mode 100644
index b04074b..0000000
--- a/.arclint
+++ /dev/null
@@ -1,12 +0,0 @@
-{
- "linters": {
- "php": {
- "type": "php",
- "include": "(\\.ph(p|html)$|^multiversion/*$)"
- },
- "json": {
- "type": "json",
- "include": "(\\.json$)"
- }
- }
-}
--
To view, visit https://gerrit.wikimedia.org/r/394544
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I3ef368e5e623482cbb3ec9e875f5b48315bc8302
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
