I built the pdk recently with the caravel instructions, and now it seems they don't have their own git info