git pull request closed round icon