I am the sole user of my Gitea installation. I committed and pushed something wrong. So, I want to undo it, as if nothing has happened (no need for this and undoing to be recorded in the history).
After a bit of searching, it seems that I need to execute some git
command-line commands. But is it possible with the web interface? I can see the commits, but I cannot find any action like [Undo] or [Delete] for them.