まずは削除対象になるリモートブランチを確認します。
$ git branch -a remotes/origin/develop
上記のdevelopブランチを削除するさきは、以下のようにします。
$ git push origin :develop
終わり。
2022.08.09