<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jul 12, 2019 at 12:50 PM Maris Nartiss <<a href="mailto:maris.gis@gmail.com">maris.gis@gmail.com</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">The biggest question is – do we need PR notifications here. I would<br>
vote for no. Better let's keep discussions in one place.<br></blockquote><div><br></div><div>I agree, and I get the notifications:</div><div><a href="https://help.github.com/en/articles/watching-and-unwatching-repositories">https://help.github.com/en/articles/watching-and-unwatching-repositories</a></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
And no, PRs don't get lost. They all are on GitHub. If a PR was lost,<br>
that is a bug in GitHub and needs to be addressed ASAP.<br>
<br>
When we moved to the new workflow, those with rights to merge PRs<br>
(implicitly) agreed to go over PR list on a (semi)regular basis and<br>
merge them if they are good.<br>
<br>
Have a nice day,<br>
Māris.<br>
<br>
piektd., 2019. g. 12. jūl., plkst. 17:10 — lietotājs Huidae Cho<br>
(<<a href="mailto:grass4u@gmail.com" target="_blank">grass4u@gmail.com</a>>) rakstīja:<br>
><br>
> Markus,<br>
><br>
> I don't think that list has PR notifications. That's only for actual merges, not everything, if I'm not wrong.<br>
><br>
> Best,<br>
> Huidae<br>
><br>
><br>
> On Fri, Jul 12, 2019 at 9:58 AM Markus Neteler <<a href="mailto:neteler@osgeo.org" target="_blank">neteler@osgeo.org</a>> wrote:<br>
>><br>
>> 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>
><br>
><br>
><br>
> --<br>
> Huidae Cho, Ph.D., GISP, PE (MD), CFM, M.ASCE<br>
> Open Source GIS Developer, GRASS GIS Development Team<br>
> _______________________________________________<br>
> grass-dev mailing list<br>
> <a href="mailto:grass-dev@lists.osgeo.org" target="_blank">grass-dev@lists.osgeo.org</a><br>
> <a href="https://lists.osgeo.org/mailman/listinfo/grass-dev" rel="noreferrer" target="_blank">https://lists.osgeo.org/mailman/listinfo/grass-dev</a><br>
_______________________________________________<br>
grass-dev mailing list<br>
<a href="mailto:grass-dev@lists.osgeo.org" target="_blank">grass-dev@lists.osgeo.org</a><br>
<a href="https://lists.osgeo.org/mailman/listinfo/grass-dev" rel="noreferrer" target="_blank">https://lists.osgeo.org/mailman/listinfo/grass-dev</a></blockquote></div></div>