add git user info when cloning dd-trace-cpp-coverage

Author: dgoffredo

bin/publish-coverage

@@ -22,9 +22,13 @@ cd "$temp_dir"
 # branch (main).  Don't fetch any regular files.
 mkdir dd-trace-cpp-coverage
 cd dd-trace-cpp-coverage
+
 git init
-git remote add origin '[email protected]:DataDog/dd-trace-cpp-coverage.git'
 
+git config user.email "[email protected]"
+git config user.name "David Goffredo (via script)"
+
+git remote add origin '[email protected]:DataDog/dd-trace-cpp-coverage.git'
 branch=gh-pages
 git fetch --depth=1 --filter=blob:none origin "$branch"