Commit

54f19e3

Fernando Andrade @fernandofreamunde13h0c6bc13

There is a point here, deleting a commit should be called Revert!!

Or more accurately "drop"! Cause it disappears. Maybe if it was on ActivityPub it would more accurately be "revert" though 👀

Fernando Andrade @fernandofreamunde12ha4090f7

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

Pauline Vos @paulinevos12hf16fc35

Open a PR to change the tool tip text!

Fernando Andrade @fernandofreamunde11h

#512 makes delete be revert

10:48 AM · Oct 19, 2026commit 54f19e3

Pauline Vos @paulinevos11h

I would've immediately approved, but @jjaybrown's comment makes me feel we need more community input on this one.