From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 05 Jun 2024 05:20:54 GMT
Subject: Re: [PATCH 1/4] Makefile: extract script to lint missing/extraneous manpages
Message-ID: <xmqqzfs0x8w9.fsf@gitster.g>
In-Reply-To: <b06088a2ff65a3455f0f5db2a9b752901f2af14b.1717564310.git.ps@pks.im>

Patrick Steinhardt <ps@pks.im> writes:

> +++ b/Documentation/lint-manpages.sh
> @@ -0,0 +1,82 @@
> +#!/usr/bin/env bash

I do not see much bash-ism here.  Unless absolutely needed, please
use "#!/bin/sh" instead.