zZzzZ.

Delete git-checkout--worker?