Hmm, overlooked this patch. No, this is more than enough.

Wait, Sergey, I dropped it already or you mean something else?

(Sorry for toppost)

@@ -29,7 +29,6 @@ include_files = {
 exclude_files = {
     "build/**/*.lua",
     -- Third-party source code.
-    "src/box/lua/serpent.lua",
     "test-run/**/*.lua",
     "test/**/*.lua",
     "third_party/**/*.lua",

On Thu, Nov 19, 2020 at 3:05 PM Cyrill Gorcunov <gorcunov@gmail.com> wrote:

On Thu, Nov 19, 2020 at 02:55:14PM +0300, Sergey Bronnikov wrote:
> Hi, Cyrill!
>
> thanks for the patch! I propose to get rid of exclude for serpent in
> .luacheckrc too.

Yeah, need to drop it from there as well, I'll update, thanks!