From: Patrick Steinhardt Date: Tue, 22 Oct 2024 05:07:01 GMT Subject: Re: [PATCH v2] global: Fix duplicate word typos Message-ID: In-Reply-To: <6ce47185-690d-415e-95c9-06a3b828be29e@cs-ware.de> On Mon, Oct 21, 2024 at 05:12:26PM +0200, Sven Strickroth wrote: > Used regex to find these typos: > > (? diff --git a/ci/lib.sh b/ci/lib.sh > index 74b430be23..bfa1fe370b 100755 > --- a/ci/lib.sh > +++ b/ci/lib.sh > @@ -62,7 +62,7 @@ trap "end_group 'CI setup'" EXIT > # something went wrong. > # > # We already enabled tracing executed commands earlier. This helps by showing > -# how # environment variables are set and and dependencies are installed. > +# how # environment variables are set and dependencies are installed. > set -e > > skip_branch_tip_with_tag () { This one has a stray "#" in it, but it's perfectly fine to not fix this as part of this commit. Thanks! Patrick