04c084
Add button to refresh external pull requests Fixes: #2625 Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org></patrick@puiterwijk.org>