git pull request closed filled icon