Bug: Allow users to delete protected branches from the cli.

Hello, I am using the latest Gitlab 12.4.1 and I have been having this issues for a long time now. We have setup some protected branches to prevent our developers from accidentally pushing or deleting protected branches. However, we are trying to automate our process and our Jenkins bot (has has maintainers access) cannot delete the branch from the command line one it creates a tag.

git push origin --delete release/10.10
remote: GitLab: You can only delete protected branches using the web interface.        
To mycompanygitserver:websites/MyWebsite.git
 ! [remote rejected]   release/10.10 (pre-receive hook declined)

Even though my bot has maintainers access [or even owners access], Gitlab forces the user to do it via the Web interface which is inefficient and doesn't have with our continuous deployment environment. Can we add the feature/option to allow users to delete protected branches from the command line.