How to make progress with PRs?

[Roman Kennke]

Hello,

I have two PRs lingering:

https://github.com/oracle/graal/pull/1015
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