tree db53feff215340a928c697b7111592e22a59bd8f
parent 0c4a33b54f3dbb9fa8cd2f5cf0e2a6363849d899
author J. Bruce Fields <bfields@citi.umich.edu> 1196031259 -0500
committer J. Bruce Fields <bfields@citi.umich.edu> 1196032468 -0500

user-manual: failed push to public repository

More details on the case of a failed push to a public (non-shared)
repository.

Signed-off-by: J. Bruce Fields <bfields@citi.umich.edu>