launch_editor(): Heed GIT_EDITOR and core.editor settings
[git] / contrib / hooks /
drwxr-xr-x   ..
-rw-r--r-- 18312 post-receive-email
-rw-r--r-- 8041 update-paranoid