On Mon, Apr 6, 2020 at 8:25 PM Helmut Kudrnovsky <hel...@web.de> wrote: ... > sometimes it's hard to see if some PR are already merged or not
That you can see from its status: "merged" or "open". > .... and if it's already visible at > https://staging.grass.osgeo.org/ It takes at most 15 min to show up (cronjob). Best Markus _______________________________________________ grass-dev mailing list grass-dev@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/grass-dev