tree b59e05831224bebcfa21e4aa5418122890ee5ea8
parent b4a8ea6fbb78f36a589b78797fd6d4d00e837662
author Luca Milanesio <luca.milanesio@gmail.com> 1671659329 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1671659329 +0000

Make sure there is no automatic GC happening concurrently

It is not safe to run multiple JGit GC at the same time.
Make sure that there is no automatic GC happening on the repo
prior to start a JGit GC activity.

Change-Id: I7bc6b258ed469050bda9d2fdda99ebe00fdb7de5