Connect a repository
Sign in, then pick one repository.
What you're agreeing to
Signing in only says who you are. Nothing is read until you pick a repository. Then the GitHub App asks for:
| Contentsread and write | Import the repository once, then write a copy of every change to it. Agents never get this key. |
| Pull requestsread and write | Not used. Mainmind no longer opens pull requests, and asks for this only until the App's settings drop it. |
| Administrationwrite | Not used. GitHub's label also covers deleting a repository; Mainmind has no tool that does, and asks for this only until the App's settings drop it. |
| Metadataread | Names and branches. Every GitHub App needs it. |
Your files stay yours. Mainmind also copies and indexes your markdown so agents can search it. What that means.
This is early: there is no price and nothing bills you. There is also no contract, so don't put anything through this you could not afford to set up again.