/doc/tips/Git_repository_and_web_server_on_different_hosts/