[postgis-tickets] [PostGIS] #4613: Mirror script not working for github

[PostGIS]

#4613: Mirror script not working for github
-------------------------+----------------------------
  Reporter:  robe        |      Owner:  strk
      Type:  defect      |     Status:  closed
  Priority:  blocker     |  Milestone:  Management 2.0
 Component:  management  |    Version:  master
Resolution:  fixed       |   Keywords:
-------------------------+----------------------------
Changes (by strk):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Somehow GitHub branch protection was activated, which prevented {{{git
 push --mirror}}} from working

-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/4613#comment:2>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.