diff options
author | Joey Hess <joey@kitenet.net> | 2013-11-20 13:01:25 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-11-20 13:13:24 -0400 |
commit | 229761fc4397ed3e8b137e65657a2583066d2764 (patch) | |
tree | 23a86559b66c670dbb7f38e4bf0eefc15458be96 /debian | |
parent | 3ed32d99829ca44abfe43c953800d8d249909997 (diff) | |
download | git-repair-229761fc4397ed3e8b137e65657a2583066d2764.tar.gz |
Write a dummy .git/HEAD if the file is missing, as git otherwise will not treat the repository as a git repo.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 8fda54a..e34606e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,6 +5,8 @@ git-repair (1.20131119) UNRELEASED; urgency=low corruption-driven-development. * Improve repair code in the case where the index file is corrupt, and this hides other problems. + * Write a dummy .git/HEAD if the file is missing or corrupt, as + git otherwise will not treat the repository as a git repo. -- Joey Hess <joeyh@debian.org> Tue, 19 Nov 2013 17:16:56 -0400 |