Ilya Grigoriev
1f7c4ec60a
conflicts: label closing delimeter with conflict number
...
This follows up on https://github.com/martinvonz/jj/pull/3459 and adds a
label to the closing delimeter of each conflict, e.g. "Conflict 1 of 3
ends".
I didn't initially put any label at the ending delimeter since the
starting delimeter is already marked with "Conflict 1 of 3". However,
I'm now realizing that when I resolve conflicts, I usually go from top
to bottom. The first thing I do is delete the starting conflict
delimeter. It is when I get to the *end* of the conflict that I wonder
whether there are any more conflicts left in the file.
2024-05-20 18:36:51 -07:00
..
2024-04-22 21:05:49 +08:00
2024-05-11 10:16:09 +02:00
2024-04-20 10:26:04 -04:00
2024-05-17 13:55:20 -07:00
2024-04-20 10:26:04 -04:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-02-12 10:28:09 -08:00
2024-04-01 10:12:13 +09:00
2024-05-19 22:45:32 +09:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-04-01 10:12:13 +09:00
2024-05-19 22:45:32 +09:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-04-01 10:12:13 +09:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-20 18:36:51 -07:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-02-06 18:19:41 -08:00
2024-02-06 18:19:41 -08:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-20 18:36:51 -07:00
2024-05-17 13:55:20 -07:00
2024-05-09 08:51:34 +09:00
2024-05-18 09:53:52 +09:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00
2024-02-06 18:19:41 -08:00
2024-02-19 22:44:38 -08:00
2024-05-17 13:55:20 -07:00
2024-05-17 13:55:20 -07:00