Changes between Version 11 and Version 12 of Developer/Bug_Reporting


Ignore:
Timestamp:
Mar 22, 2015, 9:16:12 PM (5 years ago)
Author:
Chris Johns
Comment:

Make the git commit keywords a heading.

Legend:

Unmodified
Added
Removed
Modified
  • Developer/Bug_Reporting

    v11 v12  
    107107The high priority is reserved to maintainers in RTEMS, indicating that a certain problem must be solved before the next version of RTEMS is released.
    108108
     109== Ticket Updates with Git Commits ==
     110
    109111Tickets can be automatically updated using a git commit message. If the commit contains `fixes #12345` the ticket ''12345'' will be closed and the commit message used a comment in the ticket. The valid keywords are:
    110112