docs: document missing config options and fix manager_path bug#343
Closed
staging-devin-ai-integration[bot] wants to merge 1 commit intomainfrom
Closed
docs: document missing config options and fix manager_path bug#343staging-devin-ai-integration[bot] wants to merge 1 commit intomainfrom
staging-devin-ai-integration[bot] wants to merge 1 commit intomainfrom
![staging-devin-ai-integration[bot]](https://avatars.githubusercontent.com/in/870844?v=4&size=32){kind=avatar}