Bump Tantivy
SkillDev toolsLets your agent upgrade the tantivy dependency to the latest main commit, fix build errors, and open a PR.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Bump Tantivy skill
About this capability
Bump tantivy to the latest commit on main branch, fix compilation issues, and open a PR
What this skill tells your AI
The instructions your AI receives, as published by quickwit-oss/quickwit in .claude/skills/bump-tantivy/SKILL.md and read by ahel’s review.
Follow these steps to bump tantivy to its latest version:
Step 1: Check that we are on the main branch
Run: git branch --show-current
If the current branch is not main, abort and ask the user to switch to the main branch first.
Step 2: Ensure main is up to date
Run: git pull origin main
This ensures we're working from the latest code.
Step 3: Get the latest tantivy SHA
Run: gh api repos/quickwit-oss/tantivy/commits/main --jq '.sha'
Extract the first 7 characters as the short SHA.
Step 4: Update Cargo.toml
Edit quickwit/Cargo.toml and update the rev field in the tantivy dependency to the new short SHA.
The line looks like:
tantivy = { git = "https://github.com/quickwit-oss/tantivy/", rev = "XXXXXXX", ... }
Step 5: Run cargo check and fix compilation errors
Run cargo check in the quickwit directory to verify compilation.
If there are compilation errors:
- If the fix is straightforward (simple API changes, renames, etc.), fix them without asking
- If the fix is complex or unclear, ask the user before proceeding
Repeat until cargo check passes.
Step 6: Format code
Run make fmt from the quickwit/ directory to format the code.
Step 7: Update licenses
Run make update-licenses from the quickwit/ directory, then move the generated file:
mv quickwit/LICENSE-3rdparty.csv ./LICENSE-3rdparty.csv
Step 8: Create a new branch
Get the git username: git config user.name | tr ' ' '-' | tr '[:upper:]' '[:lower:]'
Get today's date: date +%Y-%m-%d
Create and checkout a new branch named: {username}/bump-tantivy-{date}
Example: paul/bump-tantivy-2024-03-15
Step 9: Commit changes
Stage all modified files and create a commit with message:
Bump tantivy to {short-sha}
Step 10: Push and open a PR
Push the branch and open a PR using:
gh pr create --title "Bump tantivy to {short-sha}" --body "Updates tantivy dependency to the latest commit on main."
Report the PR URL to the user when complete.
Signals
- GitHub stars
- 12k
- Forks
- 594
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
bump-tantivy- Source
- github.com/quickwit-oss/quickwit