Make sure git fetch calls prune #471
Labels
customer
Based on customer feedback (as opposed to something identified by developers)
enhancement
New feature or request
usability
Milestone
Originally reported by @michael-rust
Need to be sure we prune out old branches from the remote view in the WebUI
See e.g.: https://stackoverflow.com/questions/18308535/automatic-prune-with-git-fetch-or-pull
The text was updated successfully, but these errors were encountered: