On 15 Jun 2018, at 13:36, Fred Kiefer <fredkie...@gmx.de> wrote: > > Are you referring to the pull request on GitHub? We maintainers don’t get any > notification from GitHub when a new pull request is created. The only way to > find out about them is to go through all the different modules and check > whether there is a new one. Not a very efficient system. I would suggest that > you go through all of the GNUstep sub projects yourself to see how time > consuming that process really is.
I believe you must have explicitly opted not to get them for this to be the case and it is configurable. GitHub will send email notifications for a variety of things, including new pull requests or issues for any project that you’re watching. I certainly get emails when anyone files an issue or PR for libobjc2... David _______________________________________________ Discuss-gnustep mailing list Discuss-gnustep@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnustep
