Remove double :

HonkingGoose · HonkingGoose · commit ac555056c61d · 2020-08-10T15:08:28.000+02:00
diff --git a/book/03-git-branching/sections/branch-management.asc b/book/03-git-branching/sections/branch-management.asc
@@ -152,7 +152,7 @@ This makes the renamed branch available on the remote.
 $ git push --set-upstream origin main
 ----
 
-Now we end up with the following state::
+Now we end up with the following state:
 
 [source,console]
 ----
