@fdroidorg Although, I check "Delete source branch when merge request is accepted." in the "merge options" of my pull requests I notice that the remote branch never gets deleted at https://gitlab.com/fdroid/fdroiddata

Is that on purpose or a bug?

#fdroid #gitlab #mergerequests #android