There is a point here, deleting a commit should be called Revert!!
さすがにDelete Commitだった、Revertじゃないんだ
Commit
1ba0d2b
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 really like the suggestion - but think when you look at core UX behaviour, such as cancel, reply, delete, report, should these be protected concepts?
I'm sure people will understand a revert in the context of a commit. But wanted to add a perspective to it.
commit 1ba0d2b