Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > So I really hate the idea of introducing yet other marks when we already > have unique identifiers: the (abbreviated) commit names. Didn't I give you an example why commit object names are _not_ unique identifiers already? I also do not understand why you think 'mark' is ugly. I _suspect_ that the machinery to read the TODO insns would need to keep a copy of what it gave to the end user, compare it with what user edited to make sure the user did not make nonsense insn sequence out of it, which Jörg's code doesn't do (yet), and I suspect a simple rule like "you cannot move insns across 'mark' boundary" would be sufficient for that check. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
