🚨 [v5] Prune `prune_heads` #41417
remove _prune_heads
5b05d2a2
remove prune_heads
9564b46c
finalize the purge
36fcc198
ydshieh
approved these changes
on 2025-10-07
remove another patterns
527a8240
gante
merged
7e475552
into main 69 days ago
gante
deleted the rm_prune_heads branch 69 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub