chiark / gitweb /
"status --reset" does not restore the deleted files