Skip to content

Release documentation index updates #106

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

Merged
ChiragAgg5k merged 1 commit into from
Aug 16, 2026
+60 −6
Merged

Release documentation index updates #106

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
17 changes: 13 additions & 4 deletions .github/workflows/production.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,11 @@ on:
release:
types: [published]
workflow_dispatch:
inputs:
tag:
description: Optional release tag in vMAJOR.MINOR.PATCH format
required: false
type: string

concurrency:
group: ${{ github.workflow }}
Expand All @@ -22,7 +27,8 @@ env:
REGISTRY_GITHUB: ghcr.io
REGISTRY_DOCKERHUB: docker.io
IMAGE_NAME: appwrite/mcp
TAG: ${{ github.event.release.tag_name || github.sha }}
RELEASE_TAG: ${{ github.event.release.tag_name || inputs.tag }}
TAG: ${{ github.event.release.tag_name || inputs.tag || github.sha }}

jobs:
build:
Expand All @@ -48,9 +54,12 @@ jobs:
- name: Derive package version
id: package-version
run: |
TAG="${{ github.event.release.tag_name || '' }}"
if [ -n "$TAG" ]; then
echo "package_version=${TAG#v}" >> "$GITHUB_OUTPUT"
if [ -n "$RELEASE_TAG" ]; then
if ! echo "$RELEASE_TAG" | grep -Eq '^v[0-9]+\.[0-9]+\.[0-9]+$'; then
echo "Release tag $RELEASE_TAG must match vMAJOR.MINOR.PATCH" >&2
exit 1
fi
echo "package_version=${RELEASE_TAG#v}" >> "$GITHUB_OUTPUT"
else
echo "package_version=0.0.0+${GITHUB_SHA}" >> "$GITHUB_OUTPUT"
fi
Expand Down
13 changes: 11 additions & 2 deletions .github/workflows/publish.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,15 @@ name: Publish
on:
release:
types: [published]
workflow_dispatch:
inputs:
tag:
description: Release tag in vMAJOR.MINOR.PATCH format
required: true
type: string

env:
RELEASE_TAG: ${{ github.event.release.tag_name || inputs.tag }}

jobs:
publish:
Expand All @@ -28,7 +37,7 @@ jobs:

- name: Derive release version
run: |
TAG="${{ github.event.release.tag_name }}"
TAG="$RELEASE_TAG"
if ! echo "$TAG" | grep -Eq '^v[0-9]+\.[0-9]+\.[0-9]+$'; then
echo "Release tag $TAG must match vMAJOR.MINOR.PATCH" >&2
exit 1
Expand Down Expand Up @@ -66,7 +75,7 @@ jobs:

- name: Render MCP Registry metadata
run: |
TAG="${{ github.event.release.tag_name }}"
TAG="$RELEASE_TAG"
if ! echo "$TAG" | grep -Eq '^v[0-9]+\.[0-9]+\.[0-9]+$'; then
echo "Release tag $TAG must match vMAJOR.MINOR.PATCH" >&2
exit 1
Expand Down
36 changes: 36 additions & 0 deletions .github/workflows/update-docs-index.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ concurrency:
cancel-in-progress: false

permissions:
actions: write
contents: write

jobs:
Expand Down Expand Up @@ -43,11 +44,13 @@ jobs:
run: uv run --group dev python scripts/build_docs_index.py

- name: Commit updated index
id: commit
run: |
git add src/mcp_server_appwrite/data/docs_index.npz \
src/mcp_server_appwrite/data/docs_index_meta.json
if git diff --cached --quiet; then
echo "Documentation index is already up to date"
echo "changed=false" >> "$GITHUB_OUTPUT"
exit 0
fi

Expand All @@ -56,3 +59,36 @@ jobs:
git commit -m "chore: refresh documentation search index"
git pull --rebase origin main
git push origin HEAD:main
echo "changed=true" >> "$GITHUB_OUTPUT"
echo "commit_sha=$(git rev-parse HEAD)" >> "$GITHUB_OUTPUT"

- name: Create patch release
id: release
if: steps.commit.outputs.changed == 'true'

@greptile-apps greptile-apps Bot Aug 16, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Post-push failures cannot resume

When release creation or either workflow dispatch fails after the index commit is pushed, rerunning the workflow finds no index change and skips every downstream step, leaving the update unreleased, unpublished, or undeployed until it is repaired manually.

Prompt To Fix With AI 
This is a comment left during a code review.
Path: .github/workflows/update-docs-index.yml
Line: 67

Comment:
**Post-push failures cannot resume**

When release creation or either workflow dispatch fails after the index commit is pushed, rerunning the workflow finds no index change and skips every downstream step, leaving the update unreleased, unpublished, or undeployed until it is repaired manually.

---

For each issue above, determine whether it is valid and should be fixed. If so, fix it directly.

Fix in Claude Code Fix in Codex

env:
GH_TOKEN: ${{ github.token }}
COMMIT_SHA: ${{ steps.commit.outputs.commit_sha }}
run: |
LATEST_TAG="$(gh api "repos/${GITHUB_REPOSITORY}/releases/latest" --jq .tag_name)"
if [[ ! "$LATEST_TAG" =~ ^v([0-9]+)\.([0-9]+)\.([0-9]+)$ ]]; then
echo "Latest release tag $LATEST_TAG must match vMAJOR.MINOR.PATCH" >&2
exit 1
fi

TAG="v${BASH_REMATCH[1]}.${BASH_REMATCH[2]}.$((BASH_REMATCH[3] + 1))"
gh release create "$TAG" \
--target "$COMMIT_SHA" \
--title "$TAG" \
--notes "- Refresh the embedded Appwrite documentation index."
echo "tag=$TAG" >> "$GITHUB_OUTPUT"

# Events created with GITHUB_TOKEN do not start other workflows, so dispatch
# publishing and production explicitly for the newly created release tag.
- name: Publish and deploy release
if: steps.commit.outputs.changed == 'true'
env:
GH_TOKEN: ${{ github.token }}
TAG: ${{ steps.release.outputs.tag }}
run: |
gh workflow run publish.yml --ref "$TAG" -f tag="$TAG"
gh workflow run production.yml --ref "$TAG" -f tag="$TAG"
Loading