Git plugin for gedit