Workaround race condition in python's rmtree

Python's shutil.rmtree() has a FileNotFoundError race condition, which
has only been recently fixed upstream as of 3.11.8; see [1].

We have run into this race during FLOW-219, so we must workaround it since
a very modern python can't be assumed.

The race seems to be occur about git's garbage collection lock file
since it only exists temporarily. rbgit is already ephemeral, so we
don't even need GC.

[1] python/cpython#14064

Author: Mark Ruvald Pedersen

src/git_recycle_bin.py

@@ -437,7 +437,7 @@ def __init__(self, prog):
 
     if args.rm_tmp and os.path.exists(rbgit_dir):
         printer.high_level(f"Deleting local bin repo, {rbgit_dir}, to free-up disk-space.", file=sys.stderr)
-        shutil.rmtree(rbgit_dir)
+        shutil.rmtree(rbgit_dir, ignore_errors=True)
 
     return 0
 

src/rbgit.py

@@ -34,6 +34,7 @@ def init_idempotent(self):
             # Initialize git and configure
             self.cmd("init", "--initial-branch", "master", self.rbgit_work_tree)
             self.cmd("config", "--local", "core.autocrlf", "false")
+            self.cmd("config", "--local", "gc.auto", "0")
 
         # Exclude .rbgit from version control
         with open(f"{self.rbgit_dir}/info/exclude", "w") as file: