From cabcc22d5ffc236a9cf5f84f8bfa075e918e81d0 Mon Sep 17 00:00:00 2001
From: Robert <rob@vllmrt.net>
Date: Fri, 1 Apr 2022 17:41:07 +0200
Subject: [PATCH] ci: disable numeric underscore hlint warning

This suggests to e.g. reformat a port number as 8_001 which is
a bad idea.

See e.g. here: https://github.com/hasura/graphql-engine-mono/pull/4082/files

PR-URL: https://github.com/hasura/graphql-engine-mono/pull/4140
GitOrigin-RevId: 655d09bd439847e3a5021af787183f95b0b84975
---
 .hlint.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.hlint.yaml b/.hlint.yaml
index fec5bf64517..37dc73a6e05 100644
--- a/.hlint.yaml
+++ b/.hlint.yaml
@@ -73,6 +73,7 @@
 - ignore: {name: Redundant return}
 - ignore: {name: Use <$>, within: [Hasura.RQL.DDL.Metadata, Hasura.Backends.MSSQL.Types.Instances]}
 - ignore: {name: Functor law, within: Hasura.Server.AuthSpec}
+- ignore: {name: Use underscore} # suggests to format port numbers
 
 # Define some custom infix operators
 # - fixity: infixr 3 ~^#^~