Also, the PDK seems to be failing to install now as it contains a ref to git@github for a repo instead of https://github

yep found the same thing https://github.com/efabless/caravel_user_project/pull/196

this has been corrected