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

[RTEMS trac]

#3238: Git push to Trac 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       |  Resolution:
 Keywords:               |
-------------------------+---------------------

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