Re: Instead of "Revert "Revert "original"", give "Replay "original""
- From
Josh Soref <jsoref@gmail.com>
- Date
- May 9, 2023, 05:18 UTC
- Message-ID
- <CACZqfqDL7EUGGxHAsKmU6Y67FupHGog3PD-P-g_O0atG4NG23A@mail.gmail.com>
https://github.com/git/git/commit/42e073b5ff5f9e8bc2356151dbab0c95321d2454
The commit message says: --- Merge branch 'ob/revert-of-revert' into seen
Instead of "Revert "Revert "original"", give "Replay "original"" as the title for a revert of a revert.
* ob/revert-of-revert: sequencer: beautify subject of reverts of reverts
---
However, the code uses `Reapply`, not `Replay`.