get_edi_file.Rd
Download file from EDI data portal
get_edi_file(edi_https, file, lake_directory)
https of the EDI package
name of the file in the EDI package (not full path)
full path to repository directory