Download patch
ref: 4d901d1e4165085cda5b574b44e1cc51be50abf8 parent: dd676b5a4fa19fcbe608598e73e3ee6b5bd5ad84 author: Ori Bernstein <ori@eigenstate.org> date: Mon Apr 17 17:11:47 EDT 2023
git/send: correctly delete branches with no local mirror