There is a point here, deleting a commit should be called Revert!!
さすがにDelete Commitだった、Revertじゃないんだ
Commit
f16fc35
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