On 24/11/2025 7:44 PM, Walter Bright wrote: > Thank you. I'll see what I can do. I worry about accidentally deleting > branches for my open PRs. You can always backup all the remote branches into a new clone. I.e. https://www.youtube.com/watch?v=qUtb8-CvEoo