June 5, 2018
2:24 p.m.
Am 05.06.2018 um 16:13 schrieb Stephan Eggermont <stephan@stack.nl>:
Norbert Hartl <norbert@hartl.name> wrote:
Ok, but where is the problem?
- needs to work on different filesystems, with tricky behavior - git itself did not get the behavior right - git used to be non-reentrant. Did that change?
Ok, now we know about problems git should solve. What should we be doing? Norbert