There is a git repository with master branch and several developers are using it (they don't have access to the git-server but can push to the master branch). My question is: Can a developer anyhow irreversibly "damage" (delete files...) the repository?
For example, a developer can delete last 10 commits:
git reset --hard HEAD~10
git push -f
Is there a way to restore the data in this case (assuming no one has those last 10 commits locally)? If so, is there any other method how to make irreversible changes to the repo?