[GRASS-dev] staging.grass.osgeo.org - uptodate for review?

[Markus Neteler]

On Mon, Apr 6, 2020 at 8:25 PM Helmut Kudrnovsky <hellik at 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