From 314aba02644f1153addb032fafa23033d67c0876 Mon Sep 17 00:00:00 2001
From: Samuel Moelius <samuel.moelius@trailofbits.com>
Date: Wed, 29 Nov 2023 23:05:33 +0000
Subject: [PATCH] Configure `git` before committing

---
 .github/workflows/coverage.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 50e1a0a0f..e137cd6a7 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -52,5 +52,7 @@ jobs:
       - name: Push to gh-pages branch
         run: |
           git add coverage
+          git config --global user.email "coverage@users.noreply.github.com"
+          git config --global user.name "coverage"
           git commit -m Coverage
           git push origin ${{ github.ref }}:gh-pages --force