, git remote prune origin cannot delete branches in batch after "Git 2.7" remote branches are deleted

"description": there has always been a habit of deleting the development branch after the PR merger (sometimes by yourself, sometimes by someone else). Then run git remote prune origin locally without any hints after running, and it doesn"t take effect.

these branches are all created by myself, is there a factor?

"Environment":

Git: 2.7.4
System: Ubuntu 16.4.38 x64
IDE: PHPStorm

"after running, Checkout a branch that does not exist remotely":

uiosun@uiosun-CW65S:/data/wwwroot/www.work1.com$ git remote show origin

*  origin
  :git@github.com:Sun-FreePort/something.git
  :git@github.com:Sun-FreePort/something.git
  HEAD :master
  :
    data-something       
    something            
    master               
    mobile               
    new-upload           
    repeat-url           
    revert-something     
    search-params        
    tag_branch           
    task                 
    waste-foreach        
   "git pull" :
    master            master 
    publish-bug       publish-bug 
    remove-something  remove-something 
    repeat-url        repeat-url 
    search-params     search-params 
    update-banner     update-banner 
    upload-uat        upload-uat 
    waste-foreach     waste-foreach 
   "git push" :
    master         master        ()
    repeat-url     repeat-url    ()
    search-params  search-params ()
    waste-foreach  waste-foreach ()

< hr >

words like refs/remotes/origin/3.1 stale (use "git remote prune" to remove) have never appeared on Big Boss"s blog.

what should I do? I"m confused.