diff options
| author |  J. Bruce Fields <bfields@citi.umich.edu> | 2007-11-25 17:54:19 -0500 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-11-25 18:14:28 -0500 |
| commit | 81eb417ad423ef7e8d088d517f89d3bda92f9c06 (patch) | |
| tree | db53feff215340a928c697b7111592e22a59bd8f /Documentation/git-grep.txt | |
| parent | user-manual: define "branch" and "working tree" at start (diff) | |
| download | tgif-81eb417ad423ef7e8d088d517f89d3bda92f9c06.tar.xz | |
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>
Diffstat (limited to 'Documentation/git-grep.txt')
0 files changed, 0 insertions, 0 deletions