Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > Having said that, I think that the solution proposed over there is more > complete, and maybe even more robust (nothing in your patch prevents > `label-<hex-oid>` to _already_ having been taken by another label). Good thinking. Let me drop this last one from the series in the meantime. Thanks.
