Simple Git interface for Padre
