git gui: make current branch default in "remote delete branch" merge check