Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Software Heritage fallback fixes #6036

Open
wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Software Heritage fallback fixes #6036

wants to merge 21 commits into from

Commits on Nov 28, 2024

  1. Configuration menu
    Copy the full SHA
    c2657c9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5eb4e78 View commit details
    Browse the repository at this point in the history
  3. download: remove wget support for SWH fallback to focus on more fine-…

    …grained curl handling
    rjbou committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    fb1cc77 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    888381f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    02b3022 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    abcae23 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    94985ec View commit details
    Browse the repository at this point in the history
  8. core: add 'OpamSystem' and 'OpamFilename' function to use and clean t…

    …emporary files: 'with_tmp_file' and 'with_tmp_file_job'
    rjbou committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    971b9e1 View commit details
    Browse the repository at this point in the history
  9. download: rework SWH retrieval fallback

    * Update to new API
    * More fine-grained workflow: check is archive is already cooked: if not request cooking, otherwise retrieve url of the archive
    * Use only post request when needed
    rjbou committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    d7f5f1e View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    2e59790 View commit details
    Browse the repository at this point in the history
  11. !fixup rework SWH : remove wget

    rjbou committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    9a1ed1a View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    d1e4b08 View commit details
    Browse the repository at this point in the history
  13. swhid: add some debug logging

    rjbou committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    cd06588 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    cf801e4 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    1195490 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    433c92b View commit details
    Browse the repository at this point in the history
  17. !fixup retrieve http code for curl : don't output code 999 when the p…

    …arser http error is NaN
    rjbou committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    26bdbea View commit details
    Browse the repository at this point in the history
  18. fixup! rm question

    Co-authored-by: R. Boujbel <[email protected]>
    kit-ty-kate and rjbou authored Nov 28, 2024
    Configuration menu
    Copy the full SHA
    04c68b0 View commit details
    Browse the repository at this point in the history
  19. !fixup remove wget

    rjbou authored Nov 28, 2024
    Configuration menu
    Copy the full SHA
    5f6b75e View commit details
    Browse the repository at this point in the history
  20. !fixup gitignore

    Co-authored-by: Kate <[email protected]>
    rjbou and kit-ty-kate authored Nov 28, 2024
    Configuration menu
    Copy the full SHA
    8eb3332 View commit details
    Browse the repository at this point in the history
  21. !fixup remove wget

    rjbou authored Nov 28, 2024
    Configuration menu
    Copy the full SHA
    a61576f View commit details
    Browse the repository at this point in the history