[phobos] Anyone wants to receive github messages here?

[Martin Nowak via phobos]

All of those github mails seem to make the mailing list almost unusable.

Of course anyone can setup mail filters, but that doesn't fix the
forum/archive views and requires manual action.

Since it's possible to have personal github notification settings, I
hardly see any use-case for posting GH commit messages and such to the
mailing-list. Anyone disagrees with disabling them?

-Martin

[Andrei Alexandrescu via phobos]

Yes please. -- Andrei

Post by Martin Nowak via phobos
All of those github mails seem to make the mailing list almost unusable.
Of course anyone can setup mail filters, but that doesn't fix the
forum/archive views and requires manual action.
Since it's possible to have personal github notification settings, I
hardly see any use-case for posting GH commit messages and such to the
mailing-list. Anyone disagrees with disabling them?
-Martin
_______________________________________________
phobos mailing list
http://lists.puremagic.com/mailman/listinfo/phobos

[Walter Bright via phobos]

You, sir, are employing a double negative! Andrei, I presume you meant "no, I
don't disagree with disabling them", with a fine use of quadruple negatives.

Post by Andrei Alexandrescu via phobos
Yes please. -- Andrei

Post by Martin Nowak via phobos
Anyone disagrees with disabling them?

[Andrei Alexandrescu via phobos]

Oh you're right. In my defense, in Romanian and a few other languages,
double negation counts as a negation. In vernacular English as well, I
should add: "Ain't nobody got time for that!"

So what I meant was... I'm fine with disabling the notifications.

Andrei

Post by Walter Bright via phobos
You, sir, are employing a double negative! Andrei, I presume you meant
"no, I don't disagree with disabling them", with a fine use of quadruple
negatives.

Post by Andrei Alexandrescu via phobos
Yes please. -- Andrei

Post by Martin Nowak via phobos
Anyone disagrees with disabling them?

_______________________________________________
phobos mailing list
http://lists.puremagic.com/mailman/listinfo/phobos

[Walter Bright via phobos]

Nah, vernacular English be like:

"Ain't nobody got no time for that!"

Multiple negations in English tend to emphasize negation rather than negate it.

On a programming note, I do try to adjust symbol names and conditionals to not
use negation, and

version (!Feature)

is deliberately not supported :-)

This is because of cognitive problems humans have with negation, and of course
the natural language ambiguities with it.

Oh you're right. In my defense, in Romanian and a few other languages, double
"Ain't nobody got time for that!"
So what I meant was... I'm fine with disabling the notifications.
Andrei

Post by Walter Bright via phobos
You, sir, are employing a double negative! Andrei, I presume you meant
"no, I don't disagree with disabling them", with a fine use of quadruple
negatives.

Post by Andrei Alexandrescu via phobos
Yes please. -- Andrei

Post by Martin Nowak via phobos
Anyone disagrees with disabling them?

[Jonathan M Davis via phobos]

Post by Martin Nowak via phobos
All of those github mails seem to make the mailing list almost unusable.
Of course anyone can setup mail filters, but that doesn't fix the
forum/archive views and requires manual action.
Since it's possible to have personal github notification settings, I
hardly see any use-case for posting GH commit messages and such to the
mailing-list. Anyone disagrees with disabling them?

I definitely like having them, because it makes it clear when something has
been merged, which isn't really the case with github's notifications (not
without reading them all individually anyway), and in that respect, I'm
annoyed that the dmd list stopped getting notifications. So, maybe I'm in
the minority, but I will miss these notifications if they go away.

That being said, enough folks have complained about them that I expect that
you're going to stop them unless someone has a really strong reason why they
should be kept - particularly since no one seems to want to use these lists
for discussions when github is pasting to them (though I don't really see
any reason why they couldn't; the traffic is low enough that I don't really
agree that they'd be in the way; I think that it's more of a psychological
thing than a practical problem).

Jonathan M Davis

[Martin Nowak via phobos]

Post by Jonathan M Davis via phobos
I definitely like having them, because it makes it clear when something has
been merged, which isn't really the case with github's notifications (not
without reading them all individually anyway), and in that respect, I'm
annoyed that the dmd list stopped getting notifications. So, maybe I'm in
the minority, but I will miss these notifications if they go away.

As an alternative, you can enable github notifications for a repo and
mails for notifications, see https://github.com/settings/notifications.
You'll receive mails like this.

Merged #684 <https://github.com/D-Programming-Language/dlang.org/pull/684>.

—
Reply to this email directly or view it on GitHub
<https://github.com/D-Programming-Language/dlang.org/pull/684#event-186444180>.


-Martin

[Jonathan M Davis via phobos]

Post by Martin Nowak via phobos

Post by Jonathan M Davis via phobos
I definitely like having them, because it makes it clear when something
has been merged, which isn't really the case with github's
notifications (not without reading them all individually anyway), and
in that respect, I'm annoyed that the dmd list stopped getting
notifications. So, maybe I'm in the minority, but I will miss these
notifications if they go away.

As an alternative, you can enable github notifications for a repo and
mails for notifications, see https://github.com/settings/notifications.
You'll receive mails like this.
Merged #684
<https://github.com/D-Programming-Language/dlang.org/pull/684>.

I know. I already do. But they're then mixed in with all of the other
e-mails from github and associated with whatever pull request they went
with. With the druntime and phobos lists (and the dmd list previously), all
of the merge commits are nicely laid out for you, and they don't get lost in
the noise of all of the rest of the github stuff.

I can certainly live with the druntime and phobos list not getting e-mails
if you really want to stop them, but I do think that they're nice to have.

- Jonathan M Davis

[Jacob Carlborg via phobos]

On Dec 08, 2016, at 02:01 AM, Walter Bright via phobos <***@puremagic.com> wrote:

On a programming note, I do try to adjust symbol names and conditionals to not
use negation, and

version (!Feature)

is deliberately not supported :-)

You mean:

version (!!DisableFeature)

:)

Or my favorite from Ruby:

unless not !foo
  # some code
end unless not !foo

:D

--
/Jacob Carlborg