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

[Huidae Cho]

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.

Just my thoughts.

Regards,
Huidae


On Thu, Jul 11, 2019 at 11:39 PM Huidae Cho <grass4u at gmail.com> 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 <neteler at osgeo.org> 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
>> grass-dev at lists.osgeo.org
>> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osgeo.org/pipermail/grass-dev/attachments/20190712/e401a340/attachment-0001.html>