Skip to content

Fix git fetch tag conflicts on case-insensitive filesystems #20

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Copilot wants to merge 3 commits into
base: dev
Choose a base branch
from
Draft

Fix git fetch tag conflicts on case-insensitive filesystems #20

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
dfa5709
Initial plan
Copilot Dec 7, 2025
f16b063
Fix Windows/macOS/Linux build workflows: avoid case-insensitive tag c…
Copilot Dec 7, 2025
90f957a
Improve consistency: use 2>/dev/null for error redirection
Copilot Dec 7, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 14 additions & 7 deletions .github/workflows/build-linux.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -122,16 +122,23 @@ jobs:
fi

echo "Tag provided: $TAG"
# fetch tags from origin and check
git fetch --tags origin
if git rev-parse --verify --quiet "refs/tags/$TAG" >/dev/null; then
# Check if tag exists locally first (from checkout)
if git rev-parse --verify --quiet "refs/tags/$TAG" 2>/dev/null; then
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=true" >> $GITHUB_OUTPUT
echo "Found tag $TAG on repo."
echo "Found tag $TAG locally."
else
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=false" >> $GITHUB_OUTPUT
echo "Tag $TAG not found on repo. Will upload artifacts for manual download."
# Try to fetch the specific tag to avoid case-insensitive filesystem conflicts
echo "Tag not found locally, fetching specific tag from origin..."
if git fetch origin "refs/tags/$TAG:refs/tags/$TAG" 2>/dev/null; then
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=true" >> $GITHUB_OUTPUT
echo "Found and fetched tag $TAG from repo."
else
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=false" >> $GITHUB_OUTPUT
echo "Tag $TAG not found on repo. Will upload artifacts for manual download."
fi
fi

# If tag provided and exists -> attach to release (create/update release by tag)
Expand Down
21 changes: 14 additions & 7 deletions .github/workflows/build-macos.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -93,16 +93,23 @@ jobs:
fi

echo "Tag provided: $TAG"
# fetch tags from origin and check
git fetch --tags origin
if git rev-parse --verify --quiet "refs/tags/$TAG" >/dev/null; then
# Check if tag exists locally first (from checkout)
if git rev-parse --verify --quiet "refs/tags/$TAG" 2>/dev/null; then
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=true" >> $GITHUB_OUTPUT
echo "Found tag $TAG on repo."
echo "Found tag $TAG locally."
else
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=false" >> $GITHUB_OUTPUT
echo "Tag $TAG not found on repo. Will upload artifacts for manual download."
# Try to fetch the specific tag to avoid case-insensitive filesystem conflicts
echo "Tag not found locally, fetching specific tag from origin..."
if git fetch origin "refs/tags/$TAG:refs/tags/$TAG" 2>/dev/null; then
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=true" >> $GITHUB_OUTPUT
echo "Found and fetched tag $TAG from repo."
else
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=false" >> $GITHUB_OUTPUT
echo "Tag $TAG not found on repo. Will upload artifacts for manual download."
fi
fi

# If tag provided and exists -> attach to release (create/update release by tag)
Expand Down
21 changes: 14 additions & 7 deletions .github/workflows/build-windows.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -105,16 +105,23 @@ jobs:
fi

echo "Tag provided: $TAG"
# fetch tags from origin and check
git fetch --tags origin
if git rev-parse --verify --quiet "refs/tags/$TAG" >/dev/null; then
# Check if tag exists locally first (from checkout)
if git rev-parse --verify --quiet "refs/tags/$TAG" 2>/dev/null; then
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=true" >> $GITHUB_OUTPUT
echo "Found tag $TAG on repo."
echo "Found tag $TAG locally."
else
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=false" >> $GITHUB_OUTPUT
echo "Tag $TAG not found on repo. Will upload artifacts for manual download."
# Try to fetch the specific tag to avoid case-insensitive filesystem conflicts
echo "Tag not found locally, fetching specific tag from origin..."
if git fetch origin "refs/tags/$TAG:refs/tags/$TAG" 2>/dev/null; then
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=true" >> $GITHUB_OUTPUT
echo "Found and fetched tag $TAG from repo."
else
echo "tag_provided=true" >> $GITHUB_OUTPUT
echo "tag_exists=false" >> $GITHUB_OUTPUT
echo "Tag $TAG not found on repo. Will upload artifacts for manual download."
fi
fi

- name: Upload artifacts to GitHub Release (tag exists)
Expand Down