Markus, I don't think that list has PR notifications. That's only for actual merges, not everything, if I'm not wrong.
Best, Huidae On Fri, Jul 12, 2019 at 9:58 AM Markus Neteler <nete...@osgeo.org> wrote: > Hi, > > On Fri, Jul 12, 2019 at 6:12 AM Huidae Cho <gras...@gmail.com> 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 > grass-dev@lists.osgeo.org. > > 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 > -- Huidae Cho, Ph.D., GISP, PE (MD), CFM, M.ASCE Open Source GIS Developer, GRASS GIS Development Team
_______________________________________________ grass-dev mailing list grass-dev@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/grass-dev
