Revert "recover the files from 'git push --force'"

This reverts commit a78d573fa96d175db5b53ee29c019a2b42a23119.