From: Johannes Schindelin Date: Tue, 26 Sep 2023 13:57:17 GMT Subject: Re: [PATCH v2 0/6] Add a GitHub workflow to submit builds to Coverity Scan Message-ID: In-Reply-To: Hi Junio, On Mon, 25 Sep 2023, Junio C Hamano wrote: > One thing that caught my eye was the asterisks around "22" that look > as if they were designed to confuse readers [...] > > "Johannes Schindelin via GitGitGadget" > writes: > > > [...] > > ++ case $? in > > ++ 0) ;; # okay > > ++ *22*) # 40x, i.e. access denied > > ++ echo "::error::incorrect token or project?" >&2 > > + exit 1 > > + ;; > > [...] > > Will replace but I may be tempted to edit those asterisks out myself > while queueing. D'oh, of course. Thank you, Johannes