without pruning, refs could be removed and a fetch in the future would print spurious warnings about them not being present. there should be no harm in cleaning them up via prune first.
Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.
without pruning, refs could be removed and a fetch in the future would print spurious warnings about them not being present. there should be no harm in cleaning them up via prune first.