Hi, I made a commit and pushed it to a remote repo (gerrit). It turns out that my commit needs to be reverted and different changes need to be commited. According to our process, all changes for a given ticket should be pushed as an amended commit. That way gerrit can combine them.
Anyway, it turns out that --amend is not an option for revert, so it creates a new commit. Any help would be appreciated. --