diff options
| author |  Brandon Casey <casey@nrlssc.navy.mil> | 2008-01-23 11:21:22 -0600 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-01-23 10:10:11 -0800 |
| commit | 5a9dd3998fb4c3ddc048cbcab74a8df72bff91b7 (patch) | |
| tree | 3b2e449ead130e471dd4f2c207ce017becb4e34b /Documentation | |
| parent | git-clone -s: document problems with git gc --prune (diff) | |
| download | tgif-5a9dd3998fb4c3ddc048cbcab74a8df72bff91b7.tar.xz | |
git-commit: exit non-zero if we fail to commit the index
In certain rare cases, the creation of the commit object
and update of HEAD can succeed, but then installing the
updated index will fail. This is most likely caused by a
full disk or exceeded disk quota. When this happens the
new index file will be removed, and the repository will
be left with the original now-out-of-sync index. The
user can recover with a "git reset HEAD" once the disk
space issue is resolved.
We should detect this failure and offer the user some
helpful guidance.
Signed-off-by: Brandon Casey <casey@nrlssc.navy.mil>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions