openwrt.git GitHub mirror branch protection rule triggered

[Yousong Zhou]

Hi, jo and fellow team members,

Moment ago when I was pushing the hybla patches to the repo on
git.openwrt.org, I noticed that there was an error saying "GH006:
Protected branch update failed for refs/heads/openwrt-19.07" when the
remote tried to sync content to github mirror.

I am writing just in case the effect is unintentional

The openwrt-19.07 branch is in sync at the moment (42e478eb0
"build/json: add filesystem information").  Though branch settings of
openwrt/openwrt repo says that force-push is indeed forbidden.  I
cannot find in the org audit log about when the rule was added with
filter action:protected_branch.create

Good day,
                yousong



Full push log follows:

Enumerating objects: 47, done.
Counting objects: 100% (47/47), done.
Delta compression using up to 8 threads
Compressing objects: 100% (32/32), done.
Writing objects: 100% (32/32), 3.18 KiB | 1.06 MiB/s, done.
Total 32 (delta 26), reused 0 (delta 0)
remote: *** no recipients configured so no email will be sent
remote: *** for 'refs/heads/master' update
b9389186b012e5bd99ea6523b8220aaee6ca0085->1508841b4e8e5b3ac10e61ea0eef61bba4a62abc
remote: remote: error: GH006: Protected branch update failed for
refs/heads/openwrt-19.07.
remote: remote: error: Cannot force-push to this protected branch
remote: To github.com:openwrt/openwrt.git
remote:    b9389186b0..1508841b4e  master -> master
remote:  ! [remote rejected]       openwrt-19.07 -> openwrt-19.07
(protected branch hook declined)
remote: error: failed to push some refs to 'git at github.com:openwrt/openwrt.git'
remote: To github.com:lede-project/source.git
remote:    b9389186b0..1508841b4e  master -> master
To git.openwrt.org:openwrt/openwrt.git
   b9389186b0..1508841b4e  HEAD -> master