Detached HEAD is now considered a local change in GuiThemeDownloader

This commit is contained in:
Leon Styhre 2023-03-31 22:13:56 +02:00
parent 1953d42f92
commit 3c6fff8a18

View file

@ -436,6 +436,8 @@ void GuiThemeDownloader::makeInventory()
if (checkLocalChanges(repository)) if (checkLocalChanges(repository))
theme.hasLocalChanges = true; theme.hasLocalChanges = true;
else if (git_repository_head_detached(repository))
theme.hasLocalChanges = true;
git_repository_free(repository); git_repository_free(repository);
} }