Github != Freedom?

[Jeremy Allison]

On Wed, Mar 21, 2018 at 08:04:59PM +0100, Volker Lendecke wrote:
> On Thu, Mar 22, 2018 at 07:48:03AM +1300, Andrew Bartlett via samba-technical wrote:
> > On Wed, 2018-03-21 at 11:22 -0700, Jeremy Allison wrote:
> > > On Thu, Mar 22, 2018 at 06:55:57AM +1300, Andrew Bartlett wrote:
> > > > 
> > > > Or push to github and have travis-ci chew it over (make a pull request
> > > > or set it up on the source repo).  Andreas did that (made a pull
> > > 
> > > Yes, but that would mean pushing to a proprietary software-as-a-service
> > > provider, which is something we're trying to avoid.
> > 
> > Except for Coverity of course. 
> 
> Coverity is no more. The site has been in "planned maintenance" for
> weeks now. I don't think it will come back.

They got hacked to mine crypto-currency. They should be back now.

https://www.theregister.co.uk/2018/03/19/coverity_scan_cryptomining/

Crypto-currency will be the heat-death of the planet. And we will
all deserve it :-).