liuhaitao 9c4cdc5331 CI: use 'git diff $commits' as a whole patchset to do checkpatch ... So avoid the duplicate print logs sometimes and rename file not opened issue. Signed-off-by: liuhaitao <liuhaitao@xiaomi.com>		2020-05-08 17:26:16 +01:00
..
workflows	CI: use 'git diff $commits' as a whole patchset to do checkpatch	2020-05-08 17:26:16 +01:00
PULL_REQUEST_TEMPLATE.md	github: Copy PULL_REQUEST_TEMPLATE.md from nuttx repo	2020-05-01 23:13:22 -07:00