.github: delete extraneous whitespace
diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index f995456..8a48f83 100644
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -76,18 +76,18 @@
git config --global user.name "Autoformatter"
git config --global user.email "bot@sketch.dev"
git add .
-
+
# If this is a queue-main branch, check commit count and decide whether to amend
if [[ "${{ github.ref }}" == refs/heads/queue-main-* ]]; then
# Ensure we have origin/main available
git fetch origin main
-
+
# Find merge-base with origin/main
MERGE_BASE=$(git merge-base HEAD origin/main)
-
+
# Count commits since merge-base
COMMIT_COUNT=$(git rev-list --count $MERGE_BASE..HEAD)
-
+
if [ "$COMMIT_COUNT" -eq 1 ]; then
echo "Found exactly one commit since merge-base with origin/main. Amending the commit."
git commit --amend --no-edit
@@ -95,14 +95,14 @@
echo "Found multiple commits ($COMMIT_COUNT) since merge-base with origin/main. Creating a new commit."
git commit -m "all: fix formatting"
fi
-
+
# Push the changes
git push -f https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/boldsoftware/sketch.git HEAD
else
# For non-queue-main branches, simply add a new commit
git commit -m "all: fix formatting"
fi
-
+
- name: Get commit SHA
id: get_commit
run: echo "commit_sha=$(git rev-parse HEAD)" >> $GITHUB_OUTPUT