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.


Reply via email to