Commit 79863917191aaf513fe93029749f655de361eb43

Pierre-Olivier Latour 2015-03-02T10:24:54

git_branch_delete() should ignore errors from non-existing reflogs