Cannot delete branch via `git push -d` for rad remote
It would seem that we cannot delete remote branches that use the
rad:// URL, when doing git push -d. However, git branch -d --remote does work.
This came up in this Zulip topic1. We were testing it specifically
on rad/patches/<oid> branches, but it would be good to confirm if
int does or does not work for regular branches too.
1
https://radicle.zulipchat.com/#narrow/channel/369873-support/topic/How.20to.20autoremove.20patch.20after.20merge.3F/near/477054801
This in fact does work as shown in this patch.
However, if you still follow the discussion in the Zulip, we discussed the potential for making the
patchesreferences optional, since they are not necessary. They provide Git interop, by allowing people to look at patch’s commits without requiring Radicle.We might consider providing a server option that creates the references when provided, otherwise it would not create them at all and only use them as a special directive for creating the Radicle patches.