1. 23 Jun, 2022 2 commits
  2. 25 May, 2022 2 commits
  3. 04 Mar, 2022 5 commits
  4. 18 Feb, 2022 1 commit
  5. 17 Feb, 2022 1 commit
  6. 08 Feb, 2022 2 commits
  7. 06 Feb, 2022 2 commits
    • David Diederich's avatar
      Merge branch 'add-jit-git-pull' into 'main' · 1337de3a
      David Diederich authored
      Add a Git Pull just prior to pushing to the repo store
      
      See merge request !1
      1337de3a
    • David Diederich's avatar
      Add a Git Pull just prior to pushing to the repo store · bfdb368e
      David Diederich authored
      The repo store is pulled at the beginning of the run, but the FOSSA analyze takes a bit of time. If multiple fossa-with-cache
      processes are running using the same store, the Git repository gets out of data. Then, we it goes to save ("cache") the run data,
      the git push fails because of a non-fast-forward merge.
      
      By doing a pull right before the push, we increase the chances of success.
      bfdb368e
  8. 17 Jan, 2022 1 commit
  9. 12 Jan, 2022 5 commits
  10. 01 Dec, 2021 8 commits
  11. 30 Nov, 2021 5 commits
  12. 29 Nov, 2021 3 commits
  13. 23 Nov, 2021 3 commits