attempt to workaround Git GC rename dir error messages: perform operation several...
authorPavel Sher <pavel.sher@jetbrains.com>
Mon, 14 Jan 2019 18:28:57 +0000 (19:28 +0100)
committerPavel Sher <pavel.sher@jetbrains.com>
Mon, 14 Jan 2019 18:28:57 +0000 (19:28 +0100)
commit7e2d799896b957fc1ca5ae7364aa68c069d361bd
tree41e8b5bb077636f8302110d2550e3fcf289c8b8b
parentd68059d870df6a6a52fdaed82285c2eecb4ed9c6
attempt to workaround Git GC rename dir error messages: perform operation several times
git-server/src/jetbrains/buildServer/buildTriggers/vcs/git/Cleanup.java