是:git push<remote name>--delete<remote branch name>的某种别名吗?

对。从 man git-push :

格式是 git push <repository> <refspec> ,与 <refspec> 描述如下:

<refspec>
       Specify what destination ref to update with what source object. 
       The format of a <refspec> parameter is an optional plus +, followed
       by the source object <src>, followed by a colon :, followed by
       the destination ref <dst>.

然后:

推空 <src> 允许您删除 <dst> 来自远程存储库的ref。