New review comment by Chocimier on void-packages repository https://github.com/void-linux/void-packages/pull/23264#discussion_r453766663 Comment: The above and https://git-scm.com/book/en/v2/Distributed-Git-Contributing-to-a-Project . Deleting old clone is likely overreaction if git wasn't killed with `^C`, few `checkout` commands should repair a clone.