Extend the git GUI by branches #100

Open

Labels

opened

on Jul 30, 2017

As a follow-up on #57:

create a branch
delete a branch
set the default branch

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests