How to make progress with PRs?

[Tom Rodriguez]

Roman Kennke wrote on 4/3/19 7:59 AM:
> Hello,
> 
> I have two PRs lingering:
> 
> https://github.com/oracle/graal/pull/1015

Sorry, I'll update with your latest changes and push if everything looks 
good.

tom

> and
> https://github.com/oracle/graal/pull/1117
> 
> which should be good to integrate, afaict. Which buttons do I need to 
> press to get progress on them? :-)
> 
> Thanks,
> Roman