Dolphin plugin for Git integration
