A user might have used 'git branch -D B' to remove the branch B, and then
certain TopGit commands complain, because the base of branch B is still there.
Signed-off-by: Thomas Schwinge <thomas@schwinge.name> Signed-off-by: Uwe Kleine-König <u.kleine-koenig@pengutronix.de>