For the complete documentation index, see llms.txt. This page is also available as Markdown.
GitManageRepos
Description
Opens a chooser listing all repositories known to IDA (including path, branch, and remote), allowing you to manage multiple repositories.
Right-clicking a row lets you Pull or Push that repository without having to open one of its databases first. The Delete entry removes the repository from disk and from IDA's list (it is disabled if a database from that repository is currently open).
