CircleCI (Was: Disable Travis?)

[Richard Eisenberg]

I just tried to get on board this new train. But I can't seem to figure out how to "follow" ghc. I signed up through my GitHub account, but CircleCI doesn't seem to want me to follow an open-source project with which I have no formal association in GitHub. Joachim, it seemed you unlocked this capability. How? It'd be lovely to get notifications of builds on ghc's wip/rae branch, in particular.

Thanks!
Richard

> On Sep 25, 2017, at 4:51 PM, Boespflug, Mathieu <m at tweag.io> wrote:
> 
>> Do you know if there is a way to notify the committer, even if the committer is not a CircleCI user?
> 
> I don't know. The default might be to notify the committer if the
> build failed, even when not a CircleCI user. But I haven't tried.
> --
> Mathieu Boespflug
> Founder at http://tweag.io.
> 
> 
> On 25 September 2017 at 21:30, Joachim Breitner
> <mail at joachim-breitner.de> wrote:
>> Hi,
>> 
>> Am Montag, den 25.09.2017, 13:36 +0200 schrieb Boespflug, Mathieu:
>>> Can you configure circleci to mail both the committeer and a specific
>>> person (e.g. you, or me) on every failed committ?
>>> 
>>> That's a good question. The way things work in CircleCI is that this
>>> is a user setting. You can go to
>>> 
>>> https://circleci.com/account/notifications
>>> 
>>> and "subscribe" to notifications on a per-organization or per-project basis.
>> 
>> ok, so it seems that I can ensure I get mail. Do you know if there is a
>> way to notify the committer, even if the committer is not a CircleCI
>> user?
>> 
>> 
>>> Regarding the resource_class setting, that's a feature CircleCI
>>> graciously enabled for tweag/ghc. I could do the same request for the
>>> ghc/ Github org. But better if it's an admin of the org.
>> 
>> 
>> Even without this, it often runs in 40mins, and sometimes takes an
>> hour. So for now, I’ll just let it run like this.
>> 
>> Joachim
>> --
>> Joachim “nomeata” Breitner
>>  mail at joachim-breitner.de
>>  https://www.joachim-breitner.de/
>> 
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>> 
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs