[postgis-tickets] [PostGIS] #3754: Github mirror is broken

[PostGIS]

#3754: Github mirror is broken
------------------------+----------------------------
  Reporter:  robe       |      Owner:  strk
      Type:  defect     |     Status:  closed
  Priority:  blocker    |  Milestone:  Management 2.0
 Component:  buildbots  |    Version:  2.3.x
Resolution:  fixed      |   Keywords:
------------------------+----------------------------

Comment (by robe):

 strk,

 Okay as you suggested, I created an account postgis-git-synch and made it
 the owner of the repo and then su-d in as that to do synch.

 I don't think I have a gitlab account to fix the issue and that's the one
 it's complaining about.  I just registered on gitlab using my github
 account (robe2).  You think you can give my account access to the postgis
 repo on gitlab?

--
Ticket URL: <https://trac.osgeo.org/postgis/ticket/3754#comment:7>
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.