[RTEMS Project] #3556: Github isn't updating consistantly

[RTEMS trac]

#3556: Github isn't updating consistantly
--------------------------+-------------------------
  Reporter:  Amar Takhar  |      Owner:  Amar Takhar
      Type:  infra        |     Status:  assigned
  Priority:  high         |  Milestone:  5.1
 Component:  admin        |    Version:
  Severity:  normal       |   Keywords:
Blocked By:               |   Blocking:
--------------------------+-------------------------
 I have no idea why yet Joel just reported will look into it shortly.

--
Ticket URL: <http://devel.rtems.org/ticket/3556>
RTEMS Project <http://www.rtems.org/>
RTEMS Project