From 36b3cc82b2e242ed5e4ebcc5462e8988b0daaec0 Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Tue, 6 Oct 2020 14:39:47 +0100 Subject: [PATCH] Changelog --- changelog.d/8472.feature | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/8472.feature diff --git a/changelog.d/8472.feature b/changelog.d/8472.feature new file mode 100644 index 0000000000..880f3f5e14 --- /dev/null +++ b/changelog.d/8472.feature @@ -0,0 +1 @@ +Add `-d` option to `./scripts-dev/lint.sh` to lint files that have changed since the last git commit. \ No newline at end of file