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.
https://radicle.zulipchat.com/#narrow/channel/369873-support/topic/How.20to.20autoremove.20patch.20after.20merge.3F/near/477054801
It would seem that we cannot delete remote branches that use the
rad://URL, when doinggit push -d. However,git branch -d --remotedoes work.
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 patches references 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.