[FFmpeg-devel] [PATCH] web/index: Add news entry about coverity

[Michael Niedermayer]

Hi

(also adding tara as i think he is interrested about the news entry)

On Fri, Aug 16, 2024 at 09:20:06AM +0200, Anton Khirnov wrote:
> Quoting Michael Niedermayer (2024-08-15 23:50:18)
> > Based on suggestion of Jonatas
> > 
> > CC: "Jonatas L. Nogueira" <jesusalva at spi-inc.org>
> > ---
> >  src/index | 8 ++++++++
> >  1 file changed, 8 insertions(+)
> > 
> > diff --git a/src/index b/src/index
> > index 73e9a4c..b44f384 100644
> > --- a/src/index
> > +++ b/src/index
> > @@ -35,6 +35,14 @@
> >      News
> >    </h1>
> >  
> > +  <h3 id="coverity">August 15th, 2024, Coverity</h3>
> > +  <p>
> > +  The number of issues FFmpeg has in coverity is now lower than it has been since 2016.
>                                         ^
>                                         capital C
> Maybe add "(a static analyzer)" and/or a link, as the reader may not
> know what Coverity is.
> 
> > +  Our defect density is less than one 30th of the average in OSS with over a million code
> > +  lines. All this was possible thanks to a Grant from the Sovereign Tech Fund.
>                                               ^
>                                               small g
> 
> Also maybe link to https://www.sovereigntechfund.de/

will apply with these changes, and updated date to match today

thx

[...]
-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

Democracy is the form of government in which you can choose your dictator
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <https://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20240908/16ed3ba9/attachment.sig>