Web ui for deleting git branches