ICGC API - download URL from File ID

I’m working with the ICGC API trying to get a file download URL, given a file ID.
Looking at the endpoints https://docs.icgc.org/portal/api-endpoints/ it is not clear to me how I should go from info given by /v1/repository/files/ to something usable for /v1/download/.

Hi Gregory, for file downloads, you can find the guide on how to do that here: https://docs.icgc.org/download/guide/#data-download-guide.