Merge branch 'ab/sanitize-leak-ci' into ab/unpack-trees-leakfix

* ab/sanitize-leak-ci:
  tests: add a test mode for SANITIZE=leak, run it in CI
  Makefile: add SANITIZE=leak flag to GIT-BUILD-OPTIONS

diff --cc .github/workflows/main.yml
Simple merge

diff --cc Makefile
Simple merge

diff --cc t/README
Simple merge

diff --cc t/test-lib.sh
index aa1ad8180ed877b51280ff908e30a81aa397715a,3b7acfec23b3d6f924677429dbcc0671746d8b04..8361b5c1c574ed031ec5aaac1332297055450e07
--- 1/t/test-lib.sh
--- 2/t/test-lib.sh
+++ b/t/test-lib.sh
@@@ -1381,11 -1379,30 +1381,31 @@@ the
        test_done
  fi
  
+ # skip non-whitelisted tests when compiled with SANITIZE=leak
+ if test -n "$SANITIZE_LEAK"
+ then
+       if test_bool_env GIT_TEST_PASSING_SANITIZE_LEAK false
+       then
+               # We need to see it in "git env--helper" (via
+               # test_bool_env)
+               export TEST_PASSES_SANITIZE_LEAK
+ 
+               if ! test_bool_env TEST_PASSES_SANITIZE_LEAK false
+               then
+                       skip_all="skipping $this_test under GIT_TEST_PASSING_SANITIZE_LEAK=true"
+                       test_done
+               fi
+       fi
+ elif test_bool_env GIT_TEST_PASSING_SANITIZE_LEAK false
+ then
+       error "GIT_TEST_PASSING_SANITIZE_LEAK=true has no effect except when compiled with SANITIZE=leak"
+ fi
+ 
  # Last-minute variable setup
 +USER_HOME="$HOME"
  HOME="$TRASH_DIRECTORY"
  GNUPGHOME="$HOME/gnupg-home-not-used"
 -export HOME GNUPGHOME
 +export HOME GNUPGHOME USER_HOME
  
  # Test repository
  rm -fr "$TRASH_DIRECTORY" || {