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

[PostGIS]

#3754: Github mirror is broken
-----------------------+----------------------------
 Reporter:  robe       |      Owner:  strk
     Type:  defect     |     Status:  assigned
 Priority:  blocker    |  Milestone:  Management 2.0
Component:  buildbots  |    Version:  2.3.x
 Keywords:             |
-----------------------+----------------------------
 I don't think the github mirror is working. I committed something today
 and still hasn't reached github.

 It was a patch to fix travis.  Anyway I've been playing with travis some
 more and will put in another ticket and commit to upgrade trunk to 9.5
 testing.

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