Skip to content

Add a Git Pull just prior to pushing to the repo store

David Diederich requested to merge add-jit-git-pull into main

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.

Merge request reports