#4274: delete acidentally created branch