Reputation: 1
During development proccess I accidentaly add wrong folder with files in next commit (forget to add it to gitignore). I realize my mistake only after push to the remote branch.
To fix the problem I deleted last commits locally git reset --hard HEAD~3
.
After that I deleted them from remote branch git push origin HEAD --force
.
Now I want to be sure that it is imposible to restore these commits and files in any way. As I understand I need to clear reflog and proceed garbage collection. But I dont know exactly how to do that.
There were no commits after reset and no member of team pull those 'bad' undone commits.
Appreciate any help!
Upvotes: -1
Views: 43