Repository navigation
adopt-project.py: the clone plan and check make is claimed with the run's own mkdir and removed only while it is still that directory, and a --work-dir another user can rename in is refused first, so a swapped source-readonly no longer turns the removal onto another directory (#803) - #843
Merged
Merged