Git Manager gets Pull Requests and Markdown issue editing, mvmAI adds Projects

Git Manager 1.4.0 lets you edit an issue's title and body after creating it, with Markdown rendering everywhere an issue's body or comments appear — including task-list checkboxes you can check or uncheck directly, saving straight back to GitHub. A formatting toolbar (headings, bold, italic, quote, code, links, lists, checklists) is available whenever you're writing or editing. You can also create a new branch at any time from the toolbar, and a small badge shows when the current branch hasn't been pushed anywhere yet; the first push of a new branch now sets its upstream automatically. With Premium, you can open a pull request straight from an issue's branch — choosing the source and target branch, editing the title and description, and seeing any pull requests that already target the same branch — with the branch pushed automatically first if needed. mvmAI 0.7.0 lets an administrator group chats into Projects — a name, optional shared instructions (typed text and/or a file already on the server, such as CLAUDE.md), and an optional working folder that shows a live file tree with git status right in the sidebar and scopes the assistant's shell commands and file edits to that folder. If Git Manager is installed, a project's branch line opens that repository there directly. Long conversations are now compacted automatically past 40 messages, folding everything except the most recent 20 into a running summary so cost per message stays bounded.