Move a repo from GitHub to Diffinite

You can point an existing local clone at Diffinite in one command, or keep pushing to both GitHub and Diffinite at once. Diffinite speaks plain git over SSH, so everything here is ordinary git remote plumbing — no special tooling required.

Diffinite's remote URL format is:

git@diffinite.sneka.ai:<owner>/<repo>.git

Redirect: replace GitHub with Diffinite

To switch an existing repo so git push and git pull go to Diffinite instead of GitHub, repoint the origin remote:

git remote set-url origin git@diffinite.sneka.ai:cartine/quilt.git
git push -u origin main

Confirm where origin now points:

git remote -v

Multiplex: publish to both GitHub and Diffinite

Git lets one remote have several push URLs. Add both hosts as push targets and a single git push mirrors to each:

git remote set-url --add --push origin git@github.com:cartine/quilt.git
git remote set-url --add --push origin git@diffinite.sneka.ai:cartine/quilt.git
git push origin main

After this, git remote -v shows one fetch URL and two (push) URLs. git fetch still pulls from the first URL only; git push writes to both.

This is standard git behaviour, not a Diffinite feature — which means you can undo it just as easily by clearing the extra push URLs with git remote set-url --delete --push origin <url>.

Bring agent notes along

If your history carries sneka-agents notes, push that ref too so attribution travels with the commits:

git push origin refs/notes/sneka-agents

See the git/agent/notes spec for what those notes contain.