<div dir="ltr"><div>Markus,</div><div><br></div><div>I don't think that list has PR notifications. That's only for actual merges, not everything, if I'm not wrong.<br></div><div><br></div><div>Best,</div><div>Huidae<br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jul 12, 2019 at 9:58 AM Markus Neteler <<a href="mailto:neteler@osgeo.org">neteler@osgeo.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
On Fri, Jul 12, 2019 at 6:12 AM Huidae Cho <<a href="mailto:grass4u@gmail.com" target="_blank">grass4u@gmail.com</a>> wrote:<br>
><br>
> Markus,<br>
><br>
> 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 <a href="mailto:grass-dev@lists.osgeo.org" target="_blank">grass-dev@lists.osgeo.org</a>.<br>
<br>
Well, we do have this list:<br>
<br>
<a href="https://lists.osgeo.org/pipermail/grass-commit/" rel="noreferrer" target="_blank">https://lists.osgeo.org/pipermail/grass-commit/</a><br>
<br>
which contains everything from GitHub (I had set it up like this).<br>
<br>
But I would like to see _only_ the PRs also here and not clutter this<br>
list with the other GH emails.<br>
Not sure how to do that...<br>
<br>
Best<br>
Markus<br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><span><div><div dir="ltr">Huidae Cho, Ph.D., GISP, PE (MD), CFM, M.ASCE<br>Open Source GIS Developer, GRASS GIS Development Team</div></div></span></div></div></div></div></div></div></div></div>