Well, as a user, I kind of find that the move to a github discussion is
not at all helpful. Email lists are a time-proven mechanism - why break
what ain't broke.
Miles Fidelman
On 7/12/20 3:43 PM, Kiril Stankov wrote:
Hi,
I see that some topics on the list are not in the github discussions and
vice versa?
Shall we all consider the mailing list obsolete and move to github?
Is there a way to get summaries from github or other kind of
notifications by email?
Cheers,
Kiril.
--
In theory, there is no difference between theory and practice.
In practice, there is. .... Yogi Berra
Theory is when you know everything but nothing works.
Practice is when everything works but no one knows why.
In our lab, theory and practice are combined:
nothing works and no one knows why. ... unknown
