liuhaitao d7a5313aca Revert "CI: use 'git diff $commits' as a whole patchset to do checkpatch" ... This reverts commit 9c4cdc5331. 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