[GHC DevOps Group] State of CI

[Manuel M T Chakravarty]

IMHO, this is the usual huffing and puffing of the Internet. In a few weeks everybody will have forgotten about it and move on to the next ”threat”.

Cheers,
Manuel

> Am 06.06.2018 um 11:23 schrieb Gershom B <gershomb at gmail.com>:
> 
> On Tue, Jun 5, 2018 at 4:51 PM, Simon Peyton Jones
> <simonpj at microsoft.com> wrote:
>> I have no inside knowledge, but I suspect that Microsoft's acquisition of Github means
>> - that GitHub will be largely undisturbed culturally
>> - that GitHub will have more oomph behind it, so it'll become yet
>>  more the de-facto choice than it already is
> 
> For what it's worth, the latter is definitely not happening. People
> are discussing migrating away from it out of concern with regards to
> the direction microsoft may evolve it, and in recognition that it is
> better to avoid lock-in with regards to proprietary systems (in terms
> of trackers, etc) now rather than later, and while export is
> available, as there are concerns that it might not be forever (not
> that this is necessarily a valid concern or not -- but it is certainly
> driving migration). Some metrics have shown that there has been a
> marked increase in imports of github accounts to gitlab in the past
> day or so.
> 
> Certainly the expectation is that microsoft will evolve github in
> _some_ direction under its management, and this uncertainty enough is
> sufficient to drive some migration -- and should give pause to GHC
> plans as well -- it doesn't seem like a savvy move to cut over to
> something that could well be a moving target until some dust settles.
> 
> Cheers,
> Gershom
> _______________________________________________
> Ghc-devops-group mailing list
> Ghc-devops-group at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devops-group