Git Manager 1.4.2 and mvmAI 0.7.2 released

Git Manager 1.4.2 adds a searchable branch picker that adapts to the available screen space, making repositories with many local and remote branches faster to navigate. Branch names are also displayed safely throughout the picker. mvmAI 0.7.2 keeps each project’s Git branch and file status refreshed automatically in the desktop and public widget. Projects can now point to a folder inside a larger repository and still show the correct branch and changes, including detached revisions, while clearer errors explain when Git status cannot be read.