Git & GitHub
Connect GitHub — import, push, pull and pull requests
Install KODEO's GitHub App, import any repository (public ones need no account), push and pull, publish, and work with pull requests.
Import a public repository — no account needed
Paste any public GitHub link into New project → Import from GitHub, or git clone <url> in a terminal. Imports are shallow by default (recent history only), which keeps them fast and small.
Connect GitHub
To push, import private repositories or open pull requests, connect KODEO's GitHub App. It's separate from "Sign in with GitHub".
- In the editor's Source Control, choose Connect GitHub (or Settings → Connected accounts).
- Authorise the app, then install it on your account or organisation and pick the repositories it may use.
"Authorised" isn't "installed". If pushing says the repository isn't reachable, open GitHub → Settings → Applications → Installed GitHub Apps and give KODEO access to that repository. KODEO detects this and shows the setup card where you need it.
Push, pull and publish
- Push and Pull from Source Control. A push that would overwrite someone else's work is refused rather than forced.
- Publish creates a new GitHub repository from a project.
Pull requests
Open a pull request from a branch, read reviews, see CI checks, merge, or check out someone's pull request to try it — all from the editor.
Your GitHub token is stored encrypted and never reaches your browser. Disconnect any time in Settings → Connected accounts.
Still have a question about this?
Assist answers from this article — in any language.
Was this helpful?