git branch -d git push origin --delete error: La branche 'toDelete' n'est pas totalement fusionnée. Si vous souhaitez réellement la supprimer, lancez 'git branch -D toDelete'.