Skip to content
LazyFrog

Git and your code

Your code is always yours: every project is a git repository you can clone, connect to GitHub or any git host, and run anywhere.

Your code is yours. Every project is a git repository from the start, and starts with a Dockerfile and compose.yml, so it runs anywhere with docker compose up. Your AI keeps them working when it changes the stack, and publishing warns if the Dockerfile goes missing. Commits are made in your name, with your AI as co-author.

Clone it

git clone https://git.lazyfrog.dev/<project>.git

Git asks for a user name (anything) and a password: use a personal token from the portal, Account › Access tokens. git pull brings later changes.

Push to update the preview

With a token made Read and write, git push updates the project's preview: the push says on its progress lines when the preview is updated, with its address, how long the build took and which migrations ran on the preview's database, or which step failed and what to do. With auto-publish on (a paid plan), a working preview is then published.

  • One history. Your workspace and the repository are the same history. If the preview has commits you don't have (your AI changed something there), the push is refused with the fix: git pull, resolve, push again. Work your AI left uncommitted in the preview is committed first, so nothing is lost. A forced push is never taken.
  • Migrations in migrations/ run on the preview's database as part of the push, after a snapshot. The live database changes only when you publish. Turn this off with "migrate_on_push": false in services.json.
  • Other branches are stored; only the preview's branch changes the preview.
  • Owners and editors of a project can push. A push is refused while another AI is working in the project, and when it contains what looks like a secret (with the file and line) or would go over your plan's disk.

Every project's repository carries this address as its remote: origin, or lazyfrog when origin is your GitHub repository.

Send it to GitHub or another host

  • GitHub: in the portal, Project › Code › Connect GitHub, choose the repository, and your AI can push and pull. No keys to copy.
  • Any other host (GitLab, Bitbucket, your own): your AI sets the repository's SSH address and gives you a deploy key to add to it with write access.

Before anything leaves, the history is checked for secrets.

For your AI: this page as Markdown · llms.txt