summaryrefslogtreecommitdiff
path: root/Git/Destroyer.hs
Commit message (Collapse)AuthorAge
* merge from git-annex and relicense accordinglyJoey Hess2020-01-02
| | | | | | | | | | | Merge git library and utility from git-annex. The former is now relicensed AGPL, so git-repair as a whole becomes AGPL. For simplicity, I am relicensing the remainder of the code in git-repair AGPL as well, per the header changes in this commit. While that code is also technically available under the GPL license, as it's been released under that license before, changes going forward will be only released by me under the AGPL.
* merge from git-annexJoey Hess2015-12-15
|
* whitespaceJoey Hess2014-10-12
|
* fix skipping git hooksJoey Hess2014-02-26
|
* avoid swapping file with itself when different file selectors select same fileJoey Hess2014-02-26
|
* avoid damaging git hook scriptsJoey Hess2014-02-26
|
* handle swap with self caseJoey Hess2014-02-25
|
* Add swapping 2 files test case.Joey Hess2014-02-24
|
* better type, allowing multiple files in a DamageJoey Hess2014-02-24
|
* remove old TODOJoey Hess2013-11-21
|
* better FileSelector distributionJoey Hess2013-11-21
|
* better Arbitrary instance for FileSelectorJoey Hess2013-11-21
| | | | This ensures any file in the repo is chosen, not only one of the first 20.
* avoid corrupting .git/config, at least for nowJoey Hess2013-11-20
|
* retryingJoey Hess2013-11-19
|
* fix file mode problemsJoey Hess2013-11-19
|
* initial work on git repository destroyerJoey Hess2013-11-19
I suspect this might sometimes corrupt the **source** repo, so use with caution!