We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1a15692 commit c854739Copy full SHA for c854739
bin/configure_git.sh
@@ -4,6 +4,11 @@ COMMITER_EMAIL="$2"
4
# shellcheck disable=SC2164
5
pushd "$OLD_WIKI_CHECKOUT_PATH"
6
7
+ if [ "$COMMITER_NAME" == "" ]; then
8
+ echo "ERROR: 'wiki_github_update_user' not set"
9
+ exit 3
10
+ fi;
11
+
12
git config user.email "$COMMITER_EMAIL" || exit 1
13
git config user.name "$COMMITER_NAME" || exit 2
14
git config advice.addEmptyPathspec false
0 commit comments