Translations:Source code management/114/en

Therefore, you can delete the remote branch by pushing an empty local branch: