Description
Incorrect branch name provided in the README of the demoPg/exploration branch
Expected Behaviour
Provide the correct branch name in the '-b' option
Actual Behaviour
git clone https://github.com/overture-stack/prelude.git -b demo/exploration
Cloning into 'prelude'...
fatal: Remote branch demo/exploration not found in upstream origin
Possible Fix
git clone https://github.com/overture-stack/prelude.git -b demoPg/exploration works fine
Steps to Reproduce
Follow step 1 in the README from https://github.com/overture-stack/prelude/tree/41c7e84a31635e936b90afb173e084273f66f33b
Your Environment
bash command line.