Probably my inexperience with GIT. I did a fetch, but it is still gpl3.To checkout, I used the cmdline as suggested by SF