zZzzZ.

Delete git-request-pull?