You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@whimsical.apache.org by Greg Stein <gs...@gmail.com> on 2019/03/29 05:53:54 UTC

PR notifications?

It seems that whimsy isn't configured to send PR notifications somewhere.
Is that intentional?

(my commits appeared on commits@, but nothing on the PR I associated with
them)

Cheers,
-g

ps. not subscribed; please cc: as appropriate

Re: PR notifications?

Posted by Greg Stein <gs...@gmail.com>.

Alrighty, thanks.

Please discuss, and file an INFRA for us to adjust the PR notifications to
what the community would like.


On Fri, Mar 29, 2019 at 4:00 AM sebb <se...@gmail.com> wrote:

> On Fri, 29 Mar 2019 at 05:54, Greg Stein <gs...@gmail.com> wrote>
> > It seems that whimsy isn't configured to send PR notifications somewhere.
>
> I received a PR mail, but it does not seem to have reached any Whimsy
> mailing lists.
>
> > Is that intentional?
>
> Not as far as I know.
>
> If PR mails are enabled, ideally they would not go to commits@ - it
> would be nice to keep that for actual changes.
> I think dev@ would be better, or possibly notifications@
>
> > (my commits appeared on commits@, but nothing on the PR I associated
> with
> > them)
> >
> > Cheers,
> > -g
> >
> > ps. not subscribed; please cc: as appropriate
>

Re: PR notifications?

Posted by sebb <se...@gmail.com>.

On Fri, 29 Mar 2019 at 05:54, Greg Stein <gs...@gmail.com> wrote>
> It seems that whimsy isn't configured to send PR notifications somewhere.

I received a PR mail, but it does not seem to have reached any Whimsy
mailing lists.

> Is that intentional?

Not as far as I know.

If PR mails are enabled, ideally they would not go to commits@ - it
would be nice to keep that for actual changes.
I think dev@ would be better, or possibly notifications@

> (my commits appeared on commits@, but nothing on the PR I associated with
> them)
>
> Cheers,
> -g
>
> ps. not subscribed; please cc: as appropriate