Git repos and protected branches

[Aleksey Shipilev]

Hi,

I was wondering if repos configuration had changed recently.

I have been using self-PRs in JMH repo to get tests running:
   https://github.com/openjdk/jmh/pull/5

...but I cannot delete the branch after I am done with it:

$ git push origin --delete gh-actions
remote: error: GH006: Protected branch update failed for refs/heads/gh-actions.
remote: error: Cannot delete this protected branch
To github.com:openjdk/jmh.git
  ! [remote rejected]   gh-actions (protected branch hook declined)
error: failed to push some refs to 'git at github.com:openjdk/jmh.git'

Is this something expected? Are we expected not to use/delete branches in Git repos? Or are we 
supposed to only use branches in our private forks?

-- 
Thanks,
-Aleksey