From 3e5aa02ee455835a2ea8bb316f68314e9c49511b Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Tue, 31 May 2022 07:20:55 +0200 Subject: [PATCH] editorconfig: remove pl-rule Fixes: 721b880e4cf ("script: drop get_reviewer.pl") Reviewed-by: Emma Anholt Part-of: (cherry picked from commit 61a5034950a60451bd891e4b37f7e8cf4c8c58ae) --- .editorconfig | 4 ---- .pick_status.json | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/.editorconfig b/.editorconfig index 3046c51156b..1bc8dca4a3a 100644 --- a/.editorconfig +++ b/.editorconfig @@ -20,10 +20,6 @@ indent_style = tab indent_style = space indent_size = 4 -[*.pl] -indent_style = space -indent_size = 4 - [*.yml] indent_style = space indent_size = 2 diff --git a/.pick_status.json b/.pick_status.json index 58af3610f25..8d8bea78190 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -236,7 +236,7 @@ "description": "editorconfig: remove pl-rule", "nominated": true, "nomination_type": 1, - "resolution": 0, + "resolution": 1, "because_sha": "721b880e4cfb71044d179a58cdd6ac9a26cbfedd" }, {