Fix problem on renaming HEAD file

hbons / SparkleShare

Share and collaborate by syncing with any Git repository instantly. Linux, macOS, and Windows.

https://sparkleshare.org

Other

4.87k stars 579 forks source link

Fix problem on renaming HEAD file #1965

Closed markusstoll closed 3 years ago

markusstoll commented 3 years ago

HEAD file for embedded .git folders is renamed to HEAD.backup. But this works only once - if the .backup file is already present, we fail and create follow up problems. So I remove the .backup file first.