Git extension scripts for pull requests.