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].
Just my thoughts. Regards, Huidae On Thu, Jul 11, 2019 at 11:39 PM Huidae Cho <[email protected]> wrote: > And, maybe, this question is related. I don't receive any notifications > for my own PRs. PRs from other devs are OK. Is that normal? > > Thanks, > Huidae > > > On Thu, Jul 11, 2019 at 6:43 PM Markus Neteler <[email protected]> wrote: > >> Hi, >> >> does anyone know how to how to forward GitHub pull requests to this list? >> >> They tend to get lost: >> https://github.com/OSGeo/grass/pulls >> https://github.com/OSGeo/grass-addons/pulls >> >> thanks >> Markus >> _______________________________________________ >> grass-dev mailing list >> [email protected] >> https://lists.osgeo.org/mailman/listinfo/grass-dev > > > > -- > Huidae Cho, Ph.D., GISP, PE (MD), CFM, M.ASCE > Open Source GIS Developer, GRASS GIS Development Team > -- Huidae Cho, Ph.D., GISP, PE (MD), CFM, M.ASCE Open Source GIS Developer, GRASS GIS Development Team
_______________________________________________ grass-dev mailing list [email protected] https://lists.osgeo.org/mailman/listinfo/grass-dev
