GitPlugin: Branch creation/deletion, merge and pull.