[Tools-discuss] Re: make fix-lint in windows environment or integrate in github actions?

Carsten Bormann <cabo@tzi.org> Tue, 09 July 2024 01:25 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: tools-discuss@ietfa.amsl.com
Delivered-To: tools-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B9B3BC23C60C for <tools-discuss@ietfa.amsl.com>; Mon, 8 Jul 2024 18:25:48 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.909
X-Spam-Level:
X-Spam-Status: No, score=-1.909 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id EqB8JjS9C5_D for <tools-discuss@ietfa.amsl.com>; Mon, 8 Jul 2024 18:25:46 -0700 (PDT)
Received: from smtp.zfn.uni-bremen.de (smtp.zfn.uni-bremen.de [134.102.50.21]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 37C2DC180B47 for <tools-discuss@ietf.org>; Mon, 8 Jul 2024 18:25:45 -0700 (PDT)
Received: from clients-pool6-0352.vpn.uni-bremen.de (clients-pool6-0352.vpn.uni-bremen.de [134.102.91.96]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4WJ3GG70LNzDCbL; Tue, 9 Jul 2024 03:25:42 +0200 (CEST)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <5f1c1574-0a18-4784-b987-26ce1f10f7fd@betaapp.fastmail.com>
Date: Tue, 09 Jul 2024 03:25:42 +0200
X-Mao-Original-Outgoing-Id: 742181141.425711-705e571b880e6447731b60455ef10779
Content-Transfer-Encoding: quoted-printable
Message-Id: <1F333F06-B64E-4459-892D-64315B4A81B9@tzi.org>
References: <a6d7f21d3a974d658ea990d88f1ffad3@huawei.com> <5f1c1574-0a18-4784-b987-26ce1f10f7fd@betaapp.fastmail.com>
To: Martin Thomson <mt@lowentropy.net>
X-Mailer: Apple Mail (2.3608.120.23.2.7)
Message-ID-Hash: FVDDYJ4KZ4QHO36GFKXOJWCDHFUTYWH4
X-Message-ID-Hash: FVDDYJ4KZ4QHO36GFKXOJWCDHFUTYWH4
X-MailFrom: cabo@tzi.org
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-tools-discuss.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: "Liuchunchi(Peter)" <liuchunchi=40huawei.com@dmarc.ietf.org>, "tools-discuss@ietf.org" <tools-discuss@ietf.org>
X-Mailman-Version: 3.3.9rc4
Precedence: list
Subject: [Tools-discuss] Re: make fix-lint in windows environment or integrate in github actions?
List-Id: IETF Tools Discussion <tools-discuss.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/tools-discuss/CYgzek3UpFeQYnf87lygNLK_1LU>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tools-discuss>
List-Help: <mailto:tools-discuss-request@ietf.org?subject=help>
List-Owner: <mailto:tools-discuss-owner@ietf.org>
List-Post: <mailto:tools-discuss@ietf.org>
List-Subscribe: <mailto:tools-discuss-join@ietf.org>
List-Unsubscribe: <mailto:tools-discuss-leave@ietf.org>

On 2024-07-09, at 00:58, Martin Thomson <mt@lowentropy.net> wrote:
> 
> Maybe add a .github/workflows/fix.yml file as follows:

That doesn’t help if the lint prevents me from committing and pushing things to github in the first place.

Grüße, Carsten