I've tried to keep the command list as minimal as possible but I think it's time to add "timestamp": this allows removing two annoying workarounds
GitRepository.edit() needs to sometimes but not always remove "obsolete" files (when in reality only snapshot and timestamp should ever remove old versions, because that's when the old versions are removed from repository)
Repository.snapshot() currently also does a timestamp update: there's not need for this to happen (the CLI command should do "snapshot & timestamp" but the implementations do not need to be intertwined)
I've tried to keep the command list as minimal as possible but I think it's time to add "timestamp": this allows removing two annoying workarounds
GitRepository.edit()needs to sometimes but not always remove "obsolete" files (when in reality only snapshot and timestamp should ever remove old versions, because that's when the old versions are removed from repository)Repository.snapshot()currently also does a timestamp update: there's not need for this to happen (the CLI command should do "snapshot & timestamp" but the implementations do not need to be intertwined)