Features/repo mangament #4

Merged
Christoph merged 2 commits from Features/repo_mangament into master 2026-07-02 06:36:28 +00:00
Owner
No description provided.
Christoph added 2 commits 2026-07-02 06:36:21 +00:00
Introduces a new "Repository Management" view for browsing open and recent repositories. Adds a tabbed interface for quickly switching between multiple active repositories, with persistent state. Also includes a new command to open the current repository in the native file explorer.
Christoph merged commit b04158926d into master 2026-07-02 06:36:28 +00:00
Christoph deleted branch Features/repo_mangament 2026-07-02 06:36:28 +00:00
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Christoph/GitLite#4