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