Check out a userscript which highlights deleted posts.
GitHub
79737258
Date:
2025-08-16 14:44:33
Score:
3
Natty:
Report link
Yes, if you want to keep history and you already pushed it. The other one
git reset
is destructive.
Reasons:
Low length (1):
No code block (0.5):
Single line (0.5):
Low reputation (1):
Posted by:
Mathilde BM