Hello, Aaron, Some time ago I asked whether it was possible to receive notifications about new pull requests against the main SymPy repository without having push access to the main repository.
You added me a to the group Developers without Push Access on Jun 2. In sympy-bot listing, I can see pull requests 1329--1332 which were submitted after Jun 2, yet I have received no notifications whatsoever (I checked GitHub notifications, my own E-mail folders, including spam). Thus, unfortunately, it looks like being a member of that group of developers does not imply receiving notifications. I am also CC-ing the list, so that more people can participate in the discussion. Sergiu -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
