Thank you for posting this, when I cloned the repo initially from the site, conf...

kubanczyk · on Oct 3, 2020

Yup, the initial `git clone` is checking out detached head 71c5f2d08f23d30c6fc11ac71d65f683b326c844.

It looks like the remote bare repo has a botched HEAD.

Workaround:

    cd exercises
    git checkout master
    ./configure.sh
    git start

toyg · on Oct 4, 2020

> It looks like the remote bare repo has a botched HEAD.

So the guy teaching us git has a messed-up git repo...?

(╯°□°）╯︵ ┻━┻