Re: DIS: GitHub Notifications

omd, might you want to move it to the org? Publius Scribonius Scholasticus On Thu, May 18, 2017 at 3:46 PM, Sprocklem S wrote: > On Thu, May 18, 2017 at 1:31 PM, Publius Scribonius Scholasticus > wrote: >> Okay. Also, who

Re: DIS: GitHub Notifications

On Thu, May 18, 2017 at 1:31 PM, Publius Scribonius Scholasticus wrote: > Okay. Also, who currently manages the website? AFAIK, it's managed by omd. -- Sprocklem

Re: DIS: GitHub Notifications

Okay. Also, who currently manages the website? Publius Scribonius Scholasticus On Thu, May 18, 2017 at 3:28 PM, Aris Merchant wrote: > I'm personally fine with forwards, as long as they're done by hand to > a-d and are saved for unusually important pr's.

Re: DIS: GitHub Notifications

I'm personally fine with forwards, as long as they're done by hand to a-d and are saved for unusually important pr's. -Aris On Thu, May 18, 2017 at 12:23 PM, Publius Scribonius Scholasticus wrote: > Then maybe, we forward major pull requests to the

Re: DIS: GitHub Notifications

Then maybe, we forward major pull requests to the list. Publius Scribonius Scholasticus On Thu, May 18, 2017 at 3:06 PM, Aris Merchant wrote: > On Thu, May 18, 2017 at 9:14 AM, Nic Evans wrote: >> I don't really want any automated

Re: DIS: GitHub Notifications

On Thu, May 18, 2017 at 9:14 AM, Nic Evans wrote: > I don't really want any automated messages coming to the mailing list > and gumming up my filters. I already receive email notifications on > repos that I follow, and everyone else can if they want to as well. > Seconded. I

Re: DIS: GitHub Notifications

I don't really want any automated messages coming to the mailing list and gumming up my filters. I already receive email notifications on repos that I follow, and everyone else can if they want to as well. On 05/18/17 08:45, Publius Scribonius Scholasticus wrote: > a) Do we want the list to

Re: DIS: GitHub Notifications

However, it would allow a transparent process to allow us to see code changes. Maybe, we should try it for a while. Publius Scribonius Scholasticus On Thu, May 18, 2017 at 11:06 AM, Gaelan Steele wrote: > I think maybe not. At least with the rule set, I don't think the >

Re: DIS: GitHub Notifications

I think maybe not. At least with the rule set, I don't think the notifications would be very useful. All of the changes will either be adopted proposals (redundant with the Assessor) or changes to my scripts/the formatting (irrelevant). Gaelan > On May 18, 2017, at 6:45 AM, Publius

DIS: GitHub Notifications

a) Do we want the list to receive notifications for commits and other changes? b) If so, could we approve the GitHub email to send mail to the list? Publius Scribonius Scholasticus