Commit 2d9aec99fb6a6a456aecbc354443c0c87e8a34e9

Carlos Martín Nieto 2015-12-24T14:01:38

refdb: make ref deletion after pack safer In order not to undo concurrent modifications to references, we must make sure that we only delete a loose reference if it still has the same value as when we packed it. This means we need to lock it and then compare the value with the one we put in the packed file.