manually delete the .git directory makes git lose the related repo. oops
add the jazz demo again after manually delete its .git