fix(git): only mark a plugin as dirty if an update changed the commit HEAD. Fixes #62

This commit is contained in:
Folke Lemaitre 2022-12-21 14:45:32 +01:00
parent a939243639
commit bbace14dc9
No known key found for this signature in database
GPG Key ID: 41F8B1FBACAE2040
1 changed files with 3 additions and 1 deletions

View File

@ -192,9 +192,11 @@ M.checkout = {
from = info.commit, from = info.commit,
to = new_info.commit, to = new_info.commit,
} }
end if self.plugin._.updated.from ~= self.plugin._.updated.to then
self.plugin._.dirty = true self.plugin._.dirty = true
end end
end
end
end, end,
}) })
end, end,