[RTEMS Project] #3238: Git push to trace with more than one commit does not update tickets.

[RTEMS trac]

#3238: Git push to trace with more than one commit does not update tickets.
-------------------------+--------------------
 Reporter:  Chris Johns  |      Owner:  (none)
     Type:  defect       |     Status:  new
 Priority:  normal       |  Milestone:  5.1
Component:  admin        |    Version:
 Severity:  normal       |   Keywords:
-------------------------+--------------------
 The git push to trac hook does not queue or handle a number of commits in
 a push. As a result updates to tickets can be missed.

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