Fix repos get/update/delete for Git-CLI-enabled folders - #6181

Merged

janniklasrose merged 7 commits into

mainfrom

GrantIsEaton/repos-git-cli-folders

Aug 5, 2026

Commits on Jul 31, 2026

Fix repos get/update/delete for Git-CLI-enabled folders
GrantIsEaton
committed
400ec7b
Address review: model both repo object types and trim comment
GrantIsEaton
committed
b6988cc
Drop get_errors /not-a-repo case tied to the removed type check
GrantIsEaton
committed
cfb1677

Commits on Aug 5, 2026