On dist-git we do not allow deleting branches via git (or the UI) in main projects, but on forks they are both allowed.
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr
:+1:
Thanks ! :)
Pull-Request has been merged by pingou
On dist-git we do not allow deleting branches via git (or the UI) in
main projects, but on forks they are both allowed.
Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr