Remote github branches, can't prune?

Hello,

I have merged and delted branches (created in phpstorm and pushed to origin) on github.  After a pull, the branches are still there, under "Remote Branches".  I can't delete them and don't see a way to prune them in PhpStorm.

Thanks for any help!

Ryan



Attachment(s):
Screenshot-2014-07-21-14.24.45.png
1 comment
Comment actions Permalink

I was able to manually $ git fetch -p

But, how can I set phpstorm to do this for me?  Thanks!

0

Please sign in to leave a comment.