Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
project: "fail fast" west init when directories cannot be renamed
In October 2024, a problem reported in #558 showed that some Windows systems can be configured to allow directory and file creations but not renames. Test this _before_ git cloning to "fail fast" and remove git from the very confusing picture. Signed-off-by: Marc Herbert <[email protected]>
- Loading branch information