No matches were found for subject:"\[PATCH\] remote\: make prune work for mixed mirror\/non\-mirror repos"