[geos-devel] github mirror broken by protected branches

[Sandro Santilli]

Someone enabled protected branches on GitHub, but this breaks
mirroring. Please disable protected branches, we need another
way to disable push-button-to-merge.

git push --verbose mirrors
Pushing to git at github.com:OSGeo/geos.git
remote: error: GH006: Protected branch update failed for
refs/heads/svn-3.6.        
remote: error: 2 of 2 required status checks are expected.        
remote: error: GH006: Protected branch update failed for
refs/heads/svn-trunk.        
remote: error: 2 of 2 required status checks are expected.      

--strk;