git pull request closed fill round icon