Use JGit for Repository#delete_branch