mirror of https://github.com/ARMmbed/mbed-os.git
make PR type box list "fancier" without making it a github tasklist
parent
f73415e9f8
commit
345bc493f5
|
@ -11,18 +11,14 @@
|
|||
|
||||
<!--
|
||||
Required
|
||||
Please add only one X to one of the following types. Do not fill multiple types (split the pull request otherwise) or
|
||||
change the layout.
|
||||
|
||||
[X] Fix
|
||||
Please add only one X to one of the following types. Do not fill multiple types (split the pull request otherwise).
|
||||
Please note this is not a GitHub task list, indenting the boxes or changing the format to add a '.' or '*' in front
|
||||
of them would change the meaning incorrectly. The only changes to be made are to add a description text under the
|
||||
description heading and to add a 'x' to the correct box.
|
||||
-->
|
||||
[ ] Fix
|
||||
[ ] Refactor
|
||||
[ ] New target
|
||||
[ ] Feature
|
||||
[ ] Breaking change
|
||||
-->
|
||||
|
||||
[ ] Fix
|
||||
[ ] Refactor
|
||||
[ ] New target
|
||||
[ ] Feature
|
||||
[ ] Breaking change
|
||||
|
|
Loading…
Reference in New Issue