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