Hi, On Fri, Jul 12, 2019 at 6:12 AM Huidae Cho <[email protected]> wrote: > > Markus, > > I think I have a workaround. In the worst case scenario, if GitHub doesn't > support notification forwarding, we could create a dummy GitHub account just > for notifications and set its email address to [email protected].
Well, we do have this list: https://lists.osgeo.org/pipermail/grass-commit/ which contains everything from GitHub (I had set it up like this). But I would like to see _only_ the PRs also here and not clutter this list with the other GH emails. Not sure how to do that... Best Markus _______________________________________________ grass-dev mailing list [email protected] https://lists.osgeo.org/mailman/listinfo/grass-dev
