On Wed, 17 Jun 2026 at 15:45, Kevin Wolf <[email protected]> wrote: > > Am 17.06.2026 um 10:49 hat Daniel P. Berrangé geschrieben: > > Incidentally does any ever find the CID to be useful in the commit > > message ? > > I've occasionally looked it up during review, but not sure if I ever > made use of the permanent record in the git history.
I have probably used it occasionally -- the Coverity web UI lets you look at issues which are marked as "fix submitted", which means "somebody posted a patch to the list". Issues that linger on in that state either need the patch to be refound and pinged/reworked/picked up, or else the patch did get into git but the change wasn't enough to make Coverity happy. In either case it's convenient to be able to re-find commits and patches which were trying to address the issue by searching for the number. But it's not something I do all the time as a habitual workflow. (As a side note, the coverity scan website seems to have been offline for about a month now...) -- PMM
