fixed git user is not being set

undergroundwires · Jul 20, 2020 · c705e8b · c705e8b
1 parent e34c779
commit c705e8b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/scripts/bump-everywhere.sh b/scripts/bump-everywhere.sh
@@ -87,7 +87,7 @@ exit_if_rerun() {
 configure_credentials() {
  echo "Setting up credentials"
  bash "$SCRIPTS_DIRECTORY/configure-github-repo.sh" \
- --user "undergroundwires-bot" \
+ --user "$GIT_USER" \
  --repository "$REPOSITORY" \
  --token "$GIT_TOKEN" \
  || { echo "Could not configure credentials"; exit 1; }

diff --git a/scripts/configure-github-repo.sh b/scripts/configure-github-repo.sh
@@ -2,7 +2,10 @@
 
 # Sets up credentials & user to be able to push to a GitHub repository
 # Example usage:
-# bash "configure-github-repo.sh" --repository "undergroundwires/bump-everywhere" --user "undergroundwires-bot" --token "SECRET-PAT-TOKEN"
+# bash "configure-github-repo.sh" \
+# --repository "undergroundwires/bump-everywhere" \
+# --user "undergroundwires-bot" \
+# --token "SECRET-PAT-TOKEN"
 # Prerequisites:
 # - Ensure your current folder is the repository root
 # Dependencies: