request: 'refresh' ~= 'git checkout && git pull'

[kousu]

In non-bare repos if I delete a file there is no way to recover it except to delete and redownload the entire git repo. I can still access them through agit's history mechanism, so they are still on the device, but they do not show up in the folder.

I was hoping to use agit as a more reliable better (checksums! file conflicts!) and open source Dropbox, but this blocks me from doing that.

If agit first did a checkout it would recover from any mutilations I've done to the files. Since it's currently a read-only client, mutilations should not be expected to survive.