package/utils: Use download response URL to extract filename
requests follows URL redirection by default for GET requests so
update input URL to response one to ensure correct filename will
be extracted from it.
Description
Description
Details
Details
- Provenance
anlambert Authored on Sep 14 2021, 12:08 PM anlambert Pushed on Sep 16 2021, 10:47 AM - Differential Revision
- D6252: package/utils: Improve downloaded filename extraction
- Parents
- rDLDBASE732999842159: pypi/loader: Filter out sdist archives not of interest
- Branches
- Unknown
- Tags
- Tasks
- T3468: staging: current opam loading issues
- Build Status
Buildable 23664 Build 36939: test-and-build Jenkins console · Jenkins