Commit

4c0e6fd

Fernando Andrade @fernandofreamunde10h0c6bc13

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 👀

9:37 AM · Oct 19, 2026commit 4c0e6fd

Fernando Andrade @fernandofreamunde10h

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