[GRASS-dev] GitHub: how to fwd pull requests to this list?

[Markus Neteler]

Hi,

On Fri, Jul 12, 2019 at 6:12 AM Huidae Cho <grass4u at 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 at 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