Can't delete remote branch refs that no longer exist in origin

[ricardoreiter]

I have a clone that has refs in dolt_remote_branches to old branches that no longer exist in the remote. The only way to remove them from dolt_remote_branches seems to be removing the remote with dolt_remote('remove', 'origin') and adding it back again.
I've tried the following:

call dolt_branch('-d', 'branch')
call dolt_branch('-d', 'origin/branch')
call dolt_branch('-d', 'remotes/origin/branch')

[ricardoreiter]

it seems like dolt_fetch('origin', '--prune') works, but dolt_pull('origin', '--prune') doesn't

[macneale4]

TO FIX:

• Add documentation for the --prune option in the dolt_fetch procedure.
• Add support for --prune to dolt_pull

[macneale4]

Documentation added for the new flag in the procedures doc. Thanks for the heads up @ricardoreiter !