Well… try, in your computer, no Anvil here, to create a remote repository, clone it in two different places, commit something in one place and push, pull to the other, go back to the first place, amend the commit and push, go to the second place and pull. You may have a bad surprise.
The fact that a commit is the last one, is not a guarantee that it’s amendable. If that commit has been pulled to other repositories, changing it wouldn’t be nice.
I would love to have an “Edit message” and “Delete commit” items in the history panel. But I’m afraid that they would not play nice with any cloned repository. I am mostly working alone, so I could keep re-cloning the repository every time I rename or delete a commit, but this may not be acceptable in multi-user github-linked repositories.