Make sure git config is set when applying patches

valtzu · Aug 28, 2023 · 16efdeb · 16efdeb
1 parent 4a43a4d
commit 16efdeb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/apply_patches.sh b/apply_patches.sh
@@ -7,6 +7,8 @@ cd $(dirname $0)
 for dir in patches/* ; do
   repo=$(basename $dir)
   pushd $repo
+  git config user.email || git config user.email "nobody@example.org"
+  git config user.name || git config user.name "Nobody"
   for patch in ../patches/$repo/*.patch ; do
     git apply --3way --ignore-space-change $patch
     git commit -m "Apply $(basename $patch)"