Menu

[ jEdit-devel ] [jedit:plugin-bugs] #1933 GitPlugin. Checkbox for "automatically append branch name to project name" unchecks by itself when the branch is changed by external tool


View entire thread

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.