Over time the workspace git repository will accumulate a lot of invalid remote branch references – ones that have been deleted from the remote repository, but are still present in refs/remotes/*.

The git solution to this is to run `git remote prune <git.repo.name>`.

If this could be an option to use either periodically or before each build, it would be really useful.