ci: Fix the git usage in scripts

Thanks, git.

diff --git a/.gitlab-ci/run-style-check-diff.sh b/.gitlab-ci/run-style-check-diff.sh
index b1be379033fd16d87ffaf69d4dde9192670f7466..053423a781ecd73e867c700612b2b17a12bfda85 100755 (executable)
--- a/.gitlab-ci/run-style-check-diff.sh
+++ b/.gitlab-ci/run-style-check-diff.sh
@@ -4,6 +4,9 @@ set -e
 
 ancestor_horizon=31  # days (one month)
 
+# Recently, git is picky about directory ownership. Tell it not to worry.
+git config --global --add safe.directory "$PWD"
+
 # We need to add a new remote for the upstream target branch, since this script
 # could be running in a personal fork of the repository which has out of date
 # branches.