BigW Consortium Gitlab

  1. 06 Mar, 2018 1 commit
    • Make --prune a configurable parameter in fetching a git remote · e9fad3e5
      Stan Hu authored
      By default, --prune is added to the command-line of a `git fetch` operation,
      but for repositories with many references this can take a long time to run. We
      shouldn't need to run --prune the first time we fetch a new repository.
  2. 05 Mar, 2018 39 commits