Why doesn't git allow me to safely delete a branch?
Based on my experiments and @knittl's and @twalberg's comments, it seems that git just wanted me to push my changes to the second
branch before deleting it.
I did:
$ git checkout second
$ git push origin second
$ git checkout first
$ git branch -d second
which worked without warnings.