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

[Huidae Cho]

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 <neteler at osgeo.org> wrote:

> 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
>


-- 
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/e17d4e7c/attachment.html>