Add comment to the script

For git user parameters setup.
timescale · Aug 6, 2024 · d32cbbd · d32cbbd
1 parent 67fb16e
commit d32cbbd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/release/ready_fork_for_commit.sh b/scripts/release/ready_fork_for_commit.sh
@@ -1,6 +1,9 @@
 #!/bin/bash
 set -eu
 
+
+echo "---- Setting git user parameters as per current global git configuration ----"
+
 # GITHUB_USERNAMES
 GH_EMAIL=$(git config user.email)
 GH_FULL_USERNAME=$(git config user.name)