liuhaitao d7a5313aca Revert "CI: use 'git diff $commits' as a whole patchset to do checkpatch" ...

This reverts commit 9c4cdc5331c1989b9a82e392255e516b16a5a47b.

If one PR is on a former master code base, using 'git diff $commits' would result in
abnormal checkpatch report sometimes. So revert it anyway.

2020-05-09 14:10:48 +08:00

..

workflows

Revert "CI: use 'git diff $commits' as a whole patchset to do checkpatch"

2020-05-09 14:10:48 +08:00

PULL_REQUEST_TEMPLATE.md

github: Copy PULL_REQUEST_TEMPLATE.md from nuttx repo

2020-05-01 23:13:22 -07:00