Delete local branch when repo branch is deleted#6497

Merged

lafriks merged 6 commits intogo-gitea:masterfrom

jolheiser:6490_delete_local_branch

Apr 8, 2019

Commits on Apr 2, 2019

Delete local branch if it exists
jolheiser
committed

Commits on Apr 6, 2019

Commits on Apr 7, 2019

Commits on Apr 8, 2019

Merge branch 'master' into 6490_delete_local_branch
techknowlogick
authored