I worked on an experimental branch and now want to delete it. Running git branch -d experimental
outputs
error: The branch 'experimental' is not fully merged.
If you are sure you want to delete it, run 'git branch -D experimental'.
After running deleting the branch with -D, what happens to the commits left behind?