git-revert: record the parent against which a revert was made