jakewags

Adds a Prune command to the Source Control panel that runs git fetch --prune and cleans up local branches whose remote was deleted.