| ▲ | throwaway173738 6 hours ago | |
You could also just set the development machine up as a remote on the repo on your local host and then pull, diff, and merge locally. Then the llm agent doesn’t have access to any github account at all. | ||
| ▲ | kstenerud 5 hours ago | parent [-] | |
I use an overlay copy of my workdir, then the sandboxed LLM doesn't get any of my secrets, can do its own commits, and I pull the ones back that I want. | ||