Re: [PATCH v2 0/6] Add a GitHub workflow to submit builds to Coverity Scan
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Sep 26, 2023, 13:57 UTC
- Message-ID
- <c9858529-1e2b-8a17-a7c2-d07bf300fd09@gmx.de>
- In-Reply-To
- <xmqqy1guuq3w.fsf@gitster.g>
Hi Junio,
On Mon, 25 Sep 2023, Junio C Hamano wrote:
Show 18 quoted lines
> 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" <gitgitgadget@gmail.com> > 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