Pull Device repos from Temasek! Thanks Temasek for the repos