Use valid branch names

ISO8601 contains colons, which apparently are not allowed for git branch
names.

diff --git a/.github/workflows/update-sh.yml b/.github/workflows/update-sh.yml
index a8c6ff3e9f1019ff55448e64973a5e96c91560a4..17d762394b8216e5c3d7a853a19f1642dfc40dff 100644 (file)
--- a/.github/workflows/update-sh.yml
+++ b/.github/workflows/update-sh.yml
@@ -30,7 +30,7 @@ jobs:
         # Exit early if no changes are present.
         test $(git status --porcelain | wc -l) -gt 0 || { echo "No changes to commit, happily cancelling this script."; exit 0; }
         # Use a distinct branch-name (nano-seconds should be good enough).
-        BRANCH="changes-from-update.sh-$(date -I ns)"
+        BRANCH="changes-from-update.sh-$(date +'%Y-%m-%d_%H%M%S_%N')"
         git switch -C "$BRANCH"
         git config --local user.email "workflow@github.com"
         git config --local user.name "GitHub Workflow"