Add workflow to generate and update docs branches

(cherry picked from commit 7c47ac7193)
2022-01-23 14:25:48 -03:00
parent 837828967a
commit 279f48d98b
3 changed files with 86 additions and 0 deletions
--- a/scripts/git-user-config.sh
+++ b/scripts/git-user-config.sh
@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+
+set -euo pipefail -x
+
+git config user.name 'github-actions'
+git config user.email '41898282+github-actions[bot]@users.noreply.github.com'