X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=pep-git.txt;h=8aa472cd7a3ac23a6549ffdf2eb6eae732147191;hb=6ac5e8abf4fcf720b730dc946353bd9727bc2a14;hp=73b2ecbf1dccf834bd6a20252b97ed3de6922475;hpb=e32d8a3898bc6047a8855cec051c4bcbc22fcb4e;p=git-wiki.git

diff --git a/pep-git.txt b/pep-git.txt
index 73b2ecb..8aa472c 100644
--- a/pep-git.txt
+++ b/pep-git.txt
@@ -283,6 +283,12 @@ non-bare repository: git refuses to update remote working directory.
 You really should push only to bare repositories. For non-bare
 repositories git prefers pull-based workflow.
 
+When you want to deploy code on a remote host and can only use push
+(because your workstation is behind a firewall and you cannot pull
+from it) you do that in two steps using two repositories: you push
+from the workstation to a bare repo on the remote host, ssh to the
+remote host and pull from the bare repo to a non-bare deployment repo.
+
 Tags
 ''''