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

Perform a tree-less clone when analysing repos to optimise bandwidth/disk/time #1702

Closed
wants to merge 9 commits into from

Commits on Oct 6, 2023

  1. Configuration menu
    Copy the full SHA
    5ba9e51 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Configuration menu
    Copy the full SHA
    b52b1c3 View commit details
    Browse the repository at this point in the history
  2. Making all repo cloning treeless breaks other use of this

    Add an additional parameter to request a treeless clone and just have
    the repo analysis use it.
    andrewpollock committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    3dfa519 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6f4ce3d View commit details
    Browse the repository at this point in the history
  4. Fix formatting

    andrewpollock committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    20b1c50 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    8c2cb45 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    94fe627 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    7098939 View commit details
    Browse the repository at this point in the history
  8. Fix formatting

    andrewpollock committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    7d9cd86 View commit details
    Browse the repository at this point in the history