Will 'git push origin <branch> delete <branch> remotely after removal locally?

Question

I follow the git-flow model and I have doubts.

First, I add a new function branch from 'develop':

# Checkout from develop branch
$ git checkout -b <branch>
# Push and track <branch>
$ git push --set-upstream origin <branch>

After the function is completed, I follow the inclusion of the finished function in development:

# Switch to 'develop'
$ git checkout develop
# Merge <branch> into 'develop'
$ git merge --no-ff <branch>
# Remove <branch> locally
$ git branch -d <branch>
# Remove <branch> remotely <-- ???
$ git push origin develop

The last command is the one I'm not sure about. Is it remotely deleted remotely <branch>locally?

Answer 1

; <branch> git branch -d <branch>, ( ). , git branch -vvvv, .

git push origin develop develop (), - ( ). <branch> , (git push origin :<branch>).

Answer 2

. , , , . git -flow , git.

, .