There is a point here, deleting a commit should be called Revert!!
さすがにDelete Commitだった、Revertじゃないんだ
Commit
a18511c
QuotingGgarebare@garebareDA
Or more accurately "drop"! Cause it disappears. Maybe if it was on ActivityPub it would more accurately be "revert" though 👀
both fine by me, but I do think that revert would be more geeky/git'ish :)
even if it does not just add a new commit deleting the target... would be useless that way xD
Open a PR to change the tool tip text!
#512
makes delete be revert
I would've immediately approved, but @jjaybrown's comment makes me feel we need more community input on this one.
I am of the opinion that we should trust that people are smart enough to understand it. but either way it goes it is fine.
in the meanwhile, the confetti branch still waits... the only thing I kinda would prefer on it would be a different location and duration that a notification badge is visible. upper right corner 3~5 seconds.
else it goes behind the normal notification when a post is published. and it is a different celebration I guess.. I did not do that because I do not want to break the standards of the project. Am just a humble prompter doing my best to make it fun.
commit a18511c