Import all your skills from GitHub

Import in one click

1. Open Import from GitHub. Settings > Integrations links to it too.
2. Press Install on GitHub. On GitHub, choose All repositories or Only select repositories, then save. The app asks only to read repository contents and metadata.
3. Back on Deftro, every repository the app can read is listed and marked Private or Public. Open one to see the folders that hold a SKILL.md. They start ticked, and each repository has a Select all.
4. Choose how skills from public repositories import, private or public, then press Import N skills. The page imports a few at a time and shows each result. Leave the page and the import carries on the next time you open it.
5. When it finishes, you get a notification with the counts and anything that failed.

Every skill goes through the Health check. Where your account needs a review, the new version waits in Review.

Private stays private

A skill from a private repository always imports as private, whatever you chose. Deftro never stores a GitHub password or token. It reads through the app with short-lived access that expires on its own.

Importing again

Importing the same folder again updates the artifact it created before, even if you renamed the repository on GitHub. Nothing changes if the files are the same. If you already have an artifact with that name from somewhere else, the import uses <repository>-<name> instead.

Personal imports do not sync on every push. Import again when you want the newest version.

Your GitHub account must be linked

You can only import from the GitHub account you sign in with.

Code: github_not_linked

Your Deftro account has no GitHub sign-in yet. Sign out, then sign in with GitHub using the same verified email address. The two sign-ins become one account.

Code: github_account_mismatch

The app was installed on a different GitHub account. Install it on your own account.

Code: github_account_bound

That GitHub account belongs to another Deftro account. Sign in with it there.

Code: installation_is_org

That installation is on a GitHub organisation. Organisation repositories sync through the organisation's GitHub page. See Bring skills in from GitHub.

Code: github_not_installed

The app is not installed on your account yet, or it is suspended there. Press Install on GitHub again.

When GitHub changes something

• You uninstall or suspend the app on GitHub. Deftro disconnects, cancels pending imports and tells you. What you imported stays.
• You remove a repository from the app. If you imported from it, you get a notification. Its skills stay, but they no longer update.
• You make a repository private after a public import. Nothing becomes private by itself. You get a notification naming the public skills, so you can change their visibility.
• You delete your Deftro account. The app is disconnected and your pending imports are deleted. To remove the app from GitHub as well, uninstall it under GitHub > Settings > Applications.

Disconnect on the import page stops Deftro using the app straight away.