Change roll_release so it resets git.config to original user after ru…

…nning with STE||AR credentials
STEllAR-GROUP · Apr 11, 2022 · cd01bb3 · cd01bb3
1 parent 73db6cd
commit cd01bb3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/tools/roll_release.sh b/tools/roll_release.sh
@@ -94,9 +94,8 @@ fi
 
 echo ""
 echo "Setting the signing key for signing the release. It is up to you to change it back to your own afterwards."
-git config user.signingkey E18AE35E86BB194F
-git config user.email "[email protected]"
-git config user.name "STE||AR Group"
+git -c user.signingkey E18AE35E86BB194F -c user.email [email protected] \
+    -c user.name "STE||AR Group"
 
 echo ""
 echo "Tagging release."