Connecting your GitHub account

Pushing a generated module to GitHub needs a connected GitHub account. OdoMate connects through its own GitHub App — you never hand over a password or a token, and there’s nothing to set up in advance. This page covers your personal connection, the one behind your own account.

Note

A team can also share one connection between its members instead of everyone connecting individually — see sharing your team’s GitHub connection for that flow.

Connecting for the first time

1. Open a module’s Push to GitHub button. It’s on a module’s card in the Modules Library, on an entry in that module’s version history, or on the completion screen right after a generation finishes.
2. If you haven’t connected yet, the dialog reads Connect your GitHub instead of showing a repository picker. Select Connect GitHub.
3. GitHub opens its own page for installing the OdoMate GitHub App on the account or organization you choose, and asks which repositories it may open pull requests in — all of them, or a selection.
4. GitHub redirects you back to the page you started from, and a toast confirms GitHub connected. Reopen the Push to GitHub dialog and it now reads Connected as <account>, with a repository picker in place of the connect prompt.

Caution

If the Push to GitHub dialog instead reads “GitHub integration is not available on this server,” the GitHub App isn’t configured on this deployment — there’s no Connect button to select, and nothing you do on this page will change that.

What OdoMate stores

Connecting doesn’t hand OdoMate a password or a standing token: it mints a short-lived token from GitHub each time it needs to push, and keeps only a reference to the installation between pushes. There’s no separate disconnect step on this side — removing access is done from GitHub, covered next.

If you also belong to a team

A team can have its own GitHub connection, separate from yours — its owner sets that up from the team dashboard. If your account has both a personal connection and access to a team’s connection, the Push to GitHub dialog adds a Push via selector so you choose which one to push through. The selector only appears when the two are genuinely different installations — a team that’s reusing your personal installation has nothing to choose between, so no selector shows.

Reconnecting after the app is uninstalled

If the GitHub App is uninstalled from GitHub’s side after you’ve connected, OdoMate has no way to find out until it needs the connection again:

• Opening the Push to GitHub dialog fresh checks the connection as part of loading it, notices it’s gone, and shows the Connect your GitHub prompt again — as if you’d never connected.
• If the dialog was already open and showing a repository picker, pushing instead fails with “The GitHub App was uninstalled. Reconnect to continue.” Select Reconnect and follow the same steps as connecting the first time.

Changing which repositories it can reach

The repository picker only offers repositories the installation has access to. If the one you want is missing, or the dialog shows “The app has no repository access yet,” use the Manage repository access on GitHub link in the dialog to grant it access, then reopen the dialog — access changes on GitHub’s side aren’t reflected until you do.