Documentation Index
Fetch the complete documentation index at: https://docs.heylua.ai/llms.txt
Use this file to discover all available pages before exploring further.
Overview
Thelua git commands connect your agent project to git, so that Lua
operations automatically commit a snapshot of your project. Optionally, each
commit can also be pushed to a linked GitHub repository.
Git integration is opt-in and per-project. Until you run
lua git connect, Lua never touches your git repository.What Auto-Commit Does
Once enabled, these commands commit your project automatically after they succeed:| Command | Commits | Also tags |
|---|---|---|
lua push | ✅ | — |
lua version create | ✅ | lua/v<N> |
lua version promote | ✅ | — |
lua version delete | ✅ | — |
lua pull | ✅ | — |
Enabling Auto-Commit
Prepare your repository
Auto-commit needs a git repository with an identity configured:
Lua never runs
git init or git config for you — you stay in control
of your repository.Pushing to GitHub
To also push each auto-commit to GitHub, link a GitHub account and enable auto-push.Link your GitHub account
~/.lua-cli/.git push manually.
Commands
lua git connect
Enable auto-commits for the current project.
| Flag | Description |
|---|---|
--auto-push | Also enable auto-push to the linked GitHub remote (requires lua git auth github and a GitHub HTTPS origin). |
lua git disconnect
Disable auto-commits. Existing commits and tags in your repository are left
untouched.
lua git status
Show the current integration state: whether it’s enabled, your git identity,
and the most recent Lua-issued commit and tag.
lua git auth github
Link a GitHub account using GitHub’s OAuth device flow (enter a code at
github.com/login/device).
| Flag | Description |
|---|---|
--force | Re-link without the “already linked, re-link?” prompt. |
lua git auth status
Show the linked GitHub username, granted scopes, and when it was linked.
lua git auth disconnect
Remove the locally stored GitHub token.
Configuration
Thegit block in lua.skill.yaml is managed by the CLI — use the
commands above rather than editing it by hand, so the sanity checks always
run:
Troubleshooting
Git add skipped: no-repo
Git add skipped: no-repo
The project directory isn’t a git repository yet. Run
git init (and set
your user.name / user.email), then lua git connect.auto-push is enabled but no remote.origin.url is set
auto-push is enabled but no remote.origin.url is set
Add a GitHub remote:
git remote add origin https://github.com/<owner>/<repo>.git. Auto-push supports GitHub HTTPS
remotes only.GitHub auth was revoked
GitHub auth was revoked
Re-link your account with
lua git auth github.
