Check out a userscript which highlights deleted posts.
GitHub
79761689
Date:
2025-09-11 09:03:20
Score:
1.5
Natty:
Report link
If the pull entered a merge and you don’t want to continue:
git merge --abort
Reasons:
Low length (1.5):
Has code block (-0.5):
Low reputation (0.5):
Posted by:
Omar