get vagrant_public_key from github