On Windows this causes a hard error:
❯ clone https://github.com/8l/bcpl.git into 'BCPL-81'
● Bash(git clone https://github.com/8l/bcpl.git BCPL-81)
⎿ Error: Exit code 128
Cloning into 'BCPL-81'...
error: invalid path 'cintcode/g/sound.b '
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed.
You can inspect what was checked out with 'git status'
and retry with 'git restore --source=HEAD :/'
[rerun: b1]
On Windows this causes a hard error:
❯ clone https://github.com/8l/bcpl.git into 'BCPL-81'
● Bash(git clone https://github.com/8l/bcpl.git BCPL-81)
⎿ Error: Exit code 128
Cloning into 'BCPL-81'...
error: invalid path 'cintcode/g/sound.b '
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed.
You can inspect what was checked out with 'git status'
and retry with 'git restore --source=HEAD :/'
[rerun: b1]