git pull request closed engrave icon