llvm dev - Jun 2021 - Coverity Scan Needs to be Updated after GitHub Migration

I doubt anyone on this mailing list has any control over the Coverity scan. 
I'd suggest emailing Coverity; it looks like the address is scan-admin at
coverity.com .

-Eli

-----Original Message-----
From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of Luke
Benes via llvm-dev
Sent: Wednesday, June 2, 2021 12:14 PM
To: llvm-dev at lists.llvm.org
Subject: [EXT] Re: [llvm-dev] Coverity Scan Needs to be Updated after GitHub
Migration

As a reminder, the Coverity scan of the llvm project,
https://scan.coverity.com/projects/llvm is still pulling from the old subversion
repository. It needs to be updated to https://github.com/llvm/llvm-project.

Whoever setup the original account, needs to change this. Or someone with admin
permissions on github needs to create a new account? Who would I talk to about
this?




_______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

+Sylvestre Ledru <sylvestre at debian.org> is the admin here.

That said, I believe that anyone with admin permissions on the LLVM
organization on Github can set up a new LLVM project on the coverity
website.


On Wed, Jun 2, 2021 at 12:53 PM Eli Friedman via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> I doubt anyone on this mailing list has any control over the Coverity
> scan.  I'd suggest emailing Coverity; it looks like the address is
> scan-admin at coverity.com .
>
> -Eli
>
> -----Original Message-----
> From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of Luke
Benes
> via llvm-dev
> Sent: Wednesday, June 2, 2021 12:14 PM
> To: llvm-dev at lists.llvm.org
> Subject: [EXT] Re: [llvm-dev] Coverity Scan Needs to be Updated after
> GitHub Migration
>
> As a reminder, the Coverity scan of the llvm project,
> https://scan.coverity.com/projects/llvm is still pulling from the old
> subversion repository. It needs to be updated to
> https://github.com/llvm/llvm-project.
>
> Whoever setup the original account, needs to change this. Or someone with
> admin permissions on github needs to create a new account? Who would I talk
> to about this?
>
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20210602/a85d3a43/attachment.html>